Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Model Driven Architecture with Executable UML(TM)
Model Driven Architecture with Executable UML(TM)
Automated Model-Based Generation of Ravenscar-Compliant Source Code
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
Correctness by construction: a manifesto for high integrity software
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Sensitivity Analysis for Fixed-Priority Real-Time Systems
ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
Property-Preserving Reuse-Geared Approach to Model-Driven Development
RTCSA '06 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
A metamodel-driven process featuring advanced model-based timing analysis
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
A UML2 profile for reusable and verifiable software components for real-time applications
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Real-time Java from an automated code generation perspective
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
WOSP '08 Proceedings of the 7th international workshop on Software and performance
On the Timed Automata-Based Verification of Ravenscar Systems
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Requirements on the Target Programming Language for High-Integrity MDE
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A metamodel-driven process featuring advanced model-based timing analysis
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Adapting the end-to-end flow model for distributed Ada to the ravenscar profile
ACM SIGAda Ada Letters
A rewriting logic approach to the formal specification and verification of web applications
Science of Computer Programming
| Hi-index | 0.00 |
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business applications. Unfortunately, model-driven approaches as they presently stand focus more on attaining greater extents of automation than on warranting absolute end-to-end correctness for the target development process. This paper presents some elements of a novel approach that centres on a correctness-by-construction philosophy rooted on a domain-specific metamodel designed to formally define and constrain the design space and prove the allowable model transformations down to automated code generation.