Sciweavers

1540 search results - page 26 / 308
» Automotive System Design - Challenges and Potential
Sort
View
146
Voted
DAC
2008
ACM
16 years 4 months ago
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. R...
128
Voted
EMSOFT
2004
Springer
15 years 7 months ago
Defining and translating a "safe" subset of simulink/stateflow into lustre
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
Norman Scaife, Christos Sofronis, Paul Caspi, Stav...
110
Voted
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
15 years 10 months ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
117
Voted
WSC
1998
15 years 5 months ago
Toward Increased Use of Simulation in Transportation
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...
Daniel T. Brunner, Gary Cross, Catherine McGhee, J...
110
Voted
WSC
2001
15 years 5 months ago
Simulation data exchange (SDX) implementation and use
Facility layouts of existing or proposed production systems often form the basis of a dynamic simulation study to prove the design concept and to determine if the required through...
David P. Sly, Shreekanth Moorthy