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

Author(s):

O. Rohlik, M. Bordin, M. Panunzio
Conference/Journal:

Real Time Systems Symposium (RTSS), Rio de Janeiro, Brasil
Abstract:

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.

Year:

2006
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@InProceedings { RohBor:2006:IFA_2674,
    author={O. Rohlik and M. Bordin and M. Panunzio},
    title={{An Integrated Metamodel Driven Process Focusing on Reuse
	  and Correctness}},
    booktitle={Real Time Systems Symposium (RTSS)},
    pages={},
    year={2006},
    address={Rio de Janeiro, Brasil},
    month=dec,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=2674}
}
Permanent link