Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems

Authors:
N. Scaife;P. Caspi
Affiliations:
Verimag;Verimag
Venue:
ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems
Year:
2004

Citing 0
Cited 15

Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development

Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Efficient embedded software design with synchronous models

Proceedings of the 5th ACM international conference on Embedded software
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers

Proceedings of the 5th ACM international conference on Embedded software
Translating discrete-time simulink to lustre

ACM Transactions on Embedded Computing Systems (TECS)
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Communication by sampling in time-sensitive distributed systems

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Synthesis of task and message activation models in real-time distributed automotive systems

Proceedings of the conference on Design, automation and test in Europe
Virtual execution of AADL models via a translation into synchronous programs

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Loosely time-triggered architectures based on communication-by-sampling

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Semantics-preserving multitask implementation of synchronous programs

ACM Transactions on Embedded Computing Systems (TECS)
Buffer optimization in multitask implementations of Simulink models

ACM Transactions on Embedded Computing Systems (TECS)
Time and memory tradeoffs in the implementation of AUTOSAR components

Proceedings of the Conference on Design, Automation and Test in Europe
Worst-case performance analysis of synchronous dataflow scenarios

CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Passivity-based self-triggered control: a case study on the trajectory tracking control of a robotic manipulator over wireless network

ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
Implementation of timed automata: an issue of semantics or modeling?

FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

mess-prog