Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Using an architecture description language for quantitative analysis of real-time systems
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
VEST: An Aspect-Based Composition Tool for Real-Time Systems
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Synchronous Modeling of Avionics Applications using the SIGNAL Language
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Exploiting prescriptive aspects: a design time capability
Proceedings of the 4th ACM international conference on Embedded software
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal modelling and analysis of mission-critical software in military avionics systems
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Synchronous design of avionic applications based on model refinement
Journal of Embedded Computing - Best Papers of RTS' 2005
Electronic Notes in Theoretical Computer Science (ENTCS)
Schedulability analysis of AADL models
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Embedded Systems Design
Automotive ADLS: a study on enforcing consistency through multiple architectural levels
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Dynamic service composition and deployment with openrichservices
Software Service and Application Engineering
Hi-index | 0.00 |
MetaH is a language for describing the software hardware architecture of real-time fault-tolerant securely partitioned avionics systems The MetaH toolset supports, among other things, real-time schedulability analysis and the automatic generation of glue code that implements real-time message passing and process dispatching for a class of multi-processor target architectures We describe the development methodology and typical requirements that motivated language and tools We give an overview of the message and process scheduling methods used in the current toolset and briefty discuss research to extend approach to larger-scale distributed systems such fire control and air traffic control