327 search results - page 52 / 66 » Service-Oriented Modelling of Automotive Systems |
89
Voted
WSC
1998
15 years 1 months ago
1998
The validity and usefulness of system simulation has been well-established for decades in areas such as computer and communications systems, general manufacturing systems, and mil...
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
127
click to vote
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
115
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...