PROCOL: a protocol-constrained concurrent object-oriented language
Information Processing Letters
Design and validation of computer protocols
Design and validation of computer protocols
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Theoretical Computer Science
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Synchronous Observers and the Verification of Reactive Systems
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
Logical-Time Contracts for Reactive Embedded Components
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Proceedings of the 5th ACM international conference on Embedded software
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Software—Practice & Experience
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Transaction-Level Modeling with Systemc: Tlm Concepts and Applications for Embedded Systems
Transaction-Level Modeling with Systemc: Tlm Concepts and Applications for Embedded Systems
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
A Generic Execution Framework for Models of Computation
MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
System modeling and transformational design refinement in ForSyDe [formal system design]
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
Heterogeneous composition of models of computation
Future Generation Computer Systems
Actors without Directors: A Kahnian View of Heterogeneous Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Synchronous objects with scheduling policies: introducing safe shared memory in lustre
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Contract-Based Coordination of Hardware Components for the Development of Embedded Software
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Modeling synchronous systems in BIP
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Formal and executable contracts for transaction-level modeling in SystemC
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Exploring Multi-Paradigm Modeling Techniques
Simulation
Composition and compositionality in a component model for autonomous robots
SC'10 Proceedings of the 9th international conference on Software composition
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
The coroutine model of computation
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchronous, deterministic or not, detailed w.r.t. time or not, detailed w.r.t. data or not, etc. A lot of approaches, following Ptolemy, propose to define several 'Models of Computation and Communication' (MoCCs) to deal with heterogeneity, and a framework in which they can be combined hierarchically. This paper presents the very first design of a component model for embedded systems called '42'. We aim at expressing fine-grain timing aspects and several types of concurrency as MoCCs, but we require that all the MoCCs be 'programmed' in terms of more basic primitives. '42' is meant to be an abstract description level, intended to be translated into an existing language (e.g., Lustre) for execution and property validation purposes.