84 search results - page 3 / 17 » Application of design for verification with concurrency cont... |
SAFECOMP
1999
Springer
13 years 10 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
SAFECOMP
2000
Springer
13 years 10 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
ICCD
2003
IEEE
14 years 3 months ago
2003
IEEE
With the circuit density available in today’s ASIC design systems, increased integration is possible creating more complexity in the design of a System on a Chip (SoC). IBM’s ...
IEEEINTERACT
2002
IEEE
13 years 11 months ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
ECMDAFA
2005
Springer
13 years 12 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...