Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


An Integrated Metamodel Driven Process Focusing on Reuse and Correctness


O. Rohlik

Real Time Systems Symposium (RTSS)

The peculiar nature of highly critical hard real-time systems makes a comprehensive and integrated development process difficult: such systems are characterized by a set of functional and non functional requirements, each demanding an appropriate design semantics. The reuse of software building blocks is achieved by support of software frameworks and the correctness is gained by model checking and by abiding with the Ravenscar Computational Model.


Type of Publication:


File Download:

Request a copy of this publication.
(Uses JavaScript)
% No recipe for automatically generating a BibTex entry for (06)Talk
Permanent link