VESR:an aspect-based composition tool for real-time systems
- 22 June 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 15453421,p. 58-69
- https://doi.org/10.1109/rttas.2003.1203037
Abstract
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, in using components, the most difficult issues are ensuring that hidden dependencies won't cause failures and that non-functional properties such as real-time performance are being met. We have built the VEST toolkit whose aim is to provide a rich set of dependency checks based on the concept of aspects to support distributed embedded system development via components. We describe the toolkit and its novelty. We also use VEST on two case studies of a CORBA-based middleware for avionics. Data collected shows that VEST can significantly reduce the time it takes to build a distributed real-time embedded system by over 50%. Key "lessons learned" from our experience with using VEST on these case studies are also highlighted.Keywords
This publication has 10 references indexed in Scilit:
- Cadena: an integrated development, analysis, and verification environment for component-based systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- CAISARTS: a tool for real-time scheduling assistancePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Subtask deadline assignment for complex distributed soft real-time tasksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Schedulability analysis for tasks with static and dynamic offsetsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Reducing avionics software cost through component based product line developmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- MetaH support for real-time multi-processor avionicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Getting started with ASPECTJCommunications of the ACM, 2001
- Handling crosscutting constraints in domain-specific modelingCommunications of the ACM, 2001
- OMG overviewCommunications of the ACM, 1998
- The design and performance of a real-time CORBA event servicePublished by Association for Computing Machinery (ACM) ,1997