mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards verified synthesis of ProCom, a component model for real-time embedded systems
Institut TELECOM, TELECOM ParisTech.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0002-8461-0230
2011 (English)In: CompArch - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - CBSE'11, 2011, 129-138 p.Conference paper, Published paper (Refereed)
Abstract [en]

To take advantage of component-based software engineering, software designers need a component framework that automates the assemblage and integration of developed components. It is then of prime importance to ensure that the synthesized code respects the definition of the component model's semantics. This is all the more difficult in the domain of embedded systems since the considered semantics usually aims at characterizing both functional properties (e.g. data and control dependencies) and non-functional properties such as timing and memory consumption. The component model considered in this paper, called ProCom, relies on an asynchronous operational semantics and a formal hypothesis of atomic and instantaneous interactions between components. The asynchronous approach targets higher exibility in the deployment and analysis process, while the formal hypothesis helps in reducing the combinatory problems of formal verification. In this paper, we present a code generation strategy to synthesize ProCom components, and a formalization of this generated code. This formalization extends the verification possibilities of ProCom architectures, and constitutes a step toward the verification that the produced code respects the operational semantics of ProCom. © 2011 ACM.

Place, publisher, year, edition, pages
2011. 129-138 p.
Keyword [en]
component basedmodel, embedded systems, real-time, synthesis, verification, Analysis process, Code Generation, Component framework, Component model, Component-based software engineering, Formal verifications, Functional properties, Memory consumption, Non functional properties, Operational semantics, Real-time embedded systems, Software designers, Computer programming languages, Embedded software, Real time systems, Semantics, Software architecture
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:mdh:diva-16051DOI: 10.1145/2000229.2000248Scopus ID: 2-s2.0-79960534876ISBN: 9781450307239 (print)OAI: oai:DiVA.org:mdh-16051DiVA: diva2:563445
Conference
14th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE'11, Held as Part of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture, CompArch'11, 20 June 2011 through 24 June 2011, Boulder, CO
Note

Sponsors: Assoc. Comput. Mach., Spec. Interest Group; Softw. Eng. (ACM SIGSOFT)

Available from: 2012-10-30 Created: 2012-10-29 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Carlson, Jan
By organisation
School of Innovation, Design and Engineering
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 16 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf