Sciweavers

438 search results - page 6 / 88
» Microcode with Embedded Timing Constraints
Sort
View
246
Voted
TII
2011
206views Education» more  TII 2011»
15 years 23 days ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
161
Voted
RTAS
2009
IEEE
16 years 16 days ago
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Hui...
RTAS
2003
IEEE
15 years 11 months ago
Template-Based Real-Time Dwell Scheduling with Energy Constraint
This paper addresses the scheduling problem of radar dwells in multi-function phase array radars. Well-known and new challenges make it difficult to provide predictable performan...
Chi-Sheng Shih, Sathish Gopalakrishnan, Phanindra ...
179
Voted
ECBS
2008
IEEE
170views Hardware» more  ECBS 2008»
15 years 6 months ago
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabi...
158
Voted
EMSOFT
2001
Springer
15 years 10 months ago
Giotto: A Time-Triggered Language for Embedded Programming
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...