Sciweavers

1540 search results - page 26 / 308
» Automotive System Design - Challenges and Potential
Sort
View
DAC
2008
ACM
14 years 9 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...
EMSOFT
2004
Springer
14 years 5 days 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...
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
14 years 2 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...
WSC
1998
13 years 9 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...
WSC
2001
13 years 9 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