Code Generation from Hybrid Systems Models for Distributed Embedded Systems

Authors:
Madhukar Anand;Jesung Kim;Insup Lee
Affiliations:
University of Pennsylvania, Philadelphia, PA;University of Pennsylvania, Philadelphia, PA;University of Pennsylvania, Philadelphia, PA
Venue:
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Year:
2005

Citing 0
Cited 3

Distributed-code generation from hybrid systems models for time-delayed multirate systems

Proceedings of the 5th ACM international conference on Embedded software
Software synthesis for hard real-time embedded systems with multiple processors

ACM SIGSOFT Software Engineering Notes
Generating Sound and Resource-Aware Code from Hybrid Systems Models

Model-Driven Development of Reliable Automotive Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper defines a precise conceptual model of a software platform and the relationship that exists between platforms and software applications that use them. One of the key features of this model is that it allows formal verification of deployment ...