An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software
Author
Abstract

The development of embedded software for highconfidence
systems is a challenging task that must be supported
by a deep integration of control theoretical and computational
aspects. Model-based development of embedded
software has been practiced for more than a decade now,
but very few integrated approaches have emerged to provide
end-to-end support for the process, and integrate platform
aspects as well as verification. The paper describes an
early version of a model-based prototyping toolchain that

Year of Publication
2009
Conference Name
20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09)
Date Published
06/2009
Conference Location
Paris, France
Google Scholar | BibTeX | XML