310 search results - page 3 / 62 » Scenario-based Validation of Embedded Systems |
138
Voted
IFIP
2000
Springer
15 years 4 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
97
Voted
DAC
1997
ACM
15 years 5 months ago
1997
ACM
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...
81
Voted
VLSID
2003
IEEE
2003
IEEE
High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap
16 years 1 months ago
114
Voted
DSD
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
103
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...