Sciweavers

3730 search results - page 90 / 746
» Robust design of embedded systems
Sort
View
84
Voted
MODELS
2009
Springer
15 years 7 months ago
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
Stefan Van Baelen, Thomas Weigert, Ileana Ober, Hu...
118
Voted
DAC
2008
ACM
16 years 1 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...
101
Voted
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 5 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
130
Voted
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 6 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
ERCIM
2008
94views more  ERCIM 2008»
15 years 7 days ago
Model-Based Development of Distributed Embedded Real-Time Systems
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...
Wolfgang Herzner, Martin Schlager, György Cse...