Abstract | ||
---|---|---|
System-level design methodologies for embeddedHW/SW systems face several challenges: In order tobe susceptible to systematic formal analysis based onstate-space exploration, a modelling notation with a simpleformal semantics is desired. Architecture-level engineeringpractice demands notations which concentrate on certainaspects of system functionality, while other aspects (suchas communication and scheduling) are implicitly encodedin the language semantics, and realized using HW/SWcomponents such as operating systems and protocol stacks.We describe a system-level design methodology targetedfor automotive control applications. Models in a simplegraphical component-based input language are compiledinto complex system models incorporating abstractionsfor hardware, operating systems, and inter-processorcommunication. System models are based on the synchronousAutoFocus notation and are used as a basis for formal analysis such as systematic worst-case response time analysis. The paper describes a reference architecture for implementation, the MoDe design notation, and the translation to system models along with an outlook giving a perspective for analysis. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/MEMCOD.2003.1210082 | Formal methods and models for system design |
Keywords | Field | DocType |
system model,system-level design methodology,compiledinto complex system model,systematic formal analysis,architecture-level engineeringpractice demands notation,complex system model,design alternatives demands notation,mode design notation,system-level design,system-level architecture evaluation,analysis procedure,system functionality,modelling notation,sw system,formal analysis,formal semantics,operating systems,software architecture,operating system,computer architecture,constraint optimization,formal verification,hardware,protocol stack,reference architecture,design optimization,software engineering,system level design,software system,automotive engineering,complex system,communication system,state space,system modeling | Notation,Programming language,Computer science,Electronic system-level design and verification,Hardware abstraction,Formal specification,Software system,Real-time computing,Reference architecture,Software architecture,Formal verification | Conference |
ISBN | Citations | PageRank |
1-4020-8051-4 | 1 | 0.49 |
References | Authors | |
14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan Romberg | 1 | 24 | 4.51 |
oscar slotosch | 2 | 1 | 0.49 |
gabor hahn | 3 | 2 | 0.84 |