1312 search results - page 62 / 263 » Embedded contract languages |
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
Unified Modeling Language (UML) 2.0 is emerging in the area of embedded system design. This paper presents a new UML 2.0 profile - called TUT-Profile - that introduces a set of st...
105
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
FDL
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
110
click to vote
ESOP
2011
Springer
14 years 3 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...