Sciweavers

Share
MEMOCODE
2003
IEEE

MoDe: A Method for System-Level Architecture Evaluation

9 years 7 months ago
MoDe: A Method for System-Level Architecture Evaluation
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a modelling notation with a simple formal semantics is desired. Architecture-level engineering practice demands notations which concentrate on certain aspects of system functionality, while other aspects (such as communication and scheduling) are implicitly encoded in the language semantics, and realized using HW/SW components such as operating systems and protocol stacks. We describe a system-level design methodology targeted for automotive control applications. Models in a simple graphical component-based input language are compiled plex system models incorporating abstractions for hardware, operating systems, and inter-processor communication. System models are based on the synchronous AutoFocus notation and are used as a basis for formal analysis such as systematic worst-case response time analysis. The pap...
Jan Romberg, Oscar Slotosch, Gabor Hahn
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where MEMOCODE
Authors Jan Romberg, Oscar Slotosch, Gabor Hahn
Comments (0)
books