Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Principles of Real-Time Programming
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Transparent distribution of real-time components based on logical execution time
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Bus scheduling for TDL components
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Specifying and Composing Non-functional Requirements in Model-Based Development
SC '09 Proceedings of the 8th International Conference on Software Composition
Scalable Semantic Annotation Using Lattice-Based Ontologies
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Migration of legacy software towards correct-by-construction timing behavior
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
A practical ontology framework for static model analysis
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Hi-index | 0.00 |
This paper describes the model-based development process of hard real-time software with the Timing Definition Language (TDL): modeling and simulation of TDL components in Matlab®/Simulink®, their mapping to a specific platform and finally the code generation.