1784 search results - page 197 / 357 » Formal Models for Embedded System Design |
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
109
Voted
CORR
2007
Springer
14 years 10 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
APN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
77
Voted
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
84
Voted
ECRTS
2008
IEEE
14 years 12 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...