1784 search results - page 139 / 357 » Formal Models for Embedded System Design |
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
DAGSTUHL
2007
14 years 11 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we consider minimizing the system-level energy consumption through dynamic voltage scaling for embedded devices, while a) allowing concurrent access to shared objec...
FASE
2004
Springer
15 years 1 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
ISARCS
2010
15 years 2 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...