The pros and cons of adopting and applying design patterns in the real world
Communications of the ACM
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
Guide for the use of the Ada Ravenscar Profile in high integrity systems
ACM SIGAda Ada Letters
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)
Analysis of Real Time Systems through the ORIS Tool
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Language subsetting in an industrial context: A comparison of MISRA C 1998 and MISRA C 2004
Information and Software Technology
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software
ECRTS '07 Proceedings of the 19th Euromicro Conference on Real-Time Systems
Hi-index | 0.00 |
We address the problem of rapid development of complex real-timetask-sets through a Model Driven Development (MDD) approach.%The task-set is specified according to the graphic formalism of timelineschemas and it is translated into C-code that implements the dynamic architecture of the task-set on top of Linux-RTAI operating system.%The transformation is performed through an engine obtained as an instance of a new model-transformation framework based on Java and eXtensible Stylesheet Language Transformations (XSLT) called JComposer. This is designed according to a flexible architecture that enables agile evolution of specification formalisms and target artifacts employed along the development process.