Stack-based scheduling for realtime processes
Real-Time Systems
Theoretical Computer Science
IEEE Software
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
Component-based software engineering for embedded systems
Proceedings of the 27th international conference on Software engineering
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
A Component Model for Control-Intensive Distributed Embedded Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Modular code generation from synchronous block diagrams: modularity vs. code size
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Integration of Extra-Functional Properties in Component Models
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
REMES: A Resource Model for Embedded Systems
ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
From AADL Architectural Models to Petri Nets: Checking Model Viability
ISORC '09 Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Formal Semantics of the ProCom Real-Time Component Model
SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
IEEE Transactions on Computers
Model driven code generation for critical and adaptative embedded systems
ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
Integrating Behavioral Descriptions into a Component Model for Embedded Systems
SEAA '10 Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
Hierarchical Composition of Parametric WCET in a Component Based Approach
ISORC '11 Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Implementing and evaluating communication-strategies in the ProCom component technology
ACM SIGBED Review - Special Issue on the 24th Euromicro Conference on Real-Time Systems
Hi-index | 0.00 |
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.