FCD: A framework for compositional development in open embedded systems

International Conference on Information Technology: Coding and Computing, ITCC

Volumn 2, Issue , 2005, Pages 479-484

  Qiao, Ying ^a   Berzins, Valdis ^a   Luqi, ^a  

^a Naval Postgraduate School   (United States)

Author keywords

Framework; Open Embedded Systems; Partition; Schedule; Synthesis

Indexed keywords

MATHEMATICAL MODELS; PROBLEM SOLVING; RESOURCE ALLOCATION; SCHEDULING;

COMPOSITIONAL DEVELOPMENT; FRAMEWORK; PARTITION; SCHEDULE; SYNTHESIS;

EMBEDDED SYSTEMS;

EID: 24744456916     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/itcc.2005.152     Document Type: Conference Paper

References (16)

1. th International Workshop on Computer Science and Information Technologies (CSIT'2002), Patras, Greece, 2002, Available at wwwipr.ira.uka.de/en/Publications.
2. th Design Automation Conference (DAC 99), New Orleans, Louisiana, USA, June 21-25, 1999, pp.517-522.
3. F. Akkawi, A. Bader, T. Elrad, "Dynamic weaving for building reconfigurable software systems", Proceeding of the Workshop of the Midwest Society for Programming Languages and systems, Bloomington, Indiana, April 13, 2002, Available at www2.umassd.edu/SWSoC/papers/akkawi01.pdf
4. C. Rust, F. Stappert, R. Grisson, "Petri Net Based Design of Reconfigurable Embedded Real-time Systems", Distributed and Parallel Embedded Systems, 2002, p. 41-50.
5. E. Strunk, J. Knight, "Assured reconfirmation of embedded real-time software", Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June28 - July 1, 2004, pp. 367-376.
6. "Design Guide for Integrated Modular Avionics", ARINC Report 651, Aeronautical Radio Inc., Annapolis, MD, Nov. 1991.
7. T. Carpenter, "Avionics Integration for CNS.ATM", Computer, Dec. 1998, pp. 124-126.
8. Y. Lee, D. Kin, M. Younis, J. Zhou, J. McElroy, "Resource Scheduling in Dependable Integrated Modular Avionics", Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8), New York, June 25-28, 2000, pp. 14-23.
9. th International SPIN Workshop ion Model Checking of Software (SPIN 2001), LNCS 2057, Springer-verlag, 2001, pp. 103-122.
10. E. Lee, "Embedded Software", Advances in Computers, Vol. 56, Academic Press, London, 2002.
11. V. Berzins, "Software Slicing and Merging", IEEE Computer Society Press Tutorial, May 1995.
12. D. Dampier, V. Berzins, Luqi, M. Shing, D. Dolk, and C. Rasmussen, "A Slicing Method for Semantics-Based Change-Merging of Software Prototypes", Proceedings of Computers in Engineering Symposium, Houston, TX, 29 January - 1 February 1995, PD-Vol.67, Software Systems in Engineering, ASME 1995, Edited by D. Cooke et al., pp. 87-92.
13. Luqi, "A Graph Model for Software Evolution", IEEE Computer Society Press Tutorial: Software Merging and Slicing, May 1995, pp. 202-212.
14. E. Lee, S. Neuendorffer, "Actor-Oriented Design of Embedded Hardware and Software Systems", Journal of Circuits, Systems and Computers, Vol. 12, No. 3, 2003, pp. 231-260.
15. R. Holte, A. Mok, L. Rosier, T. Tulchinsky, D. Varvel, " The Pinwheel: A Real-time Scheduling Problem", Proceedings of the 22nd Hawaii International Conference of System Science, IEEE, Jan 1989, pp. 693-702.
16. J. Stankovic, T. He, T. Abdelzaher, M. Marley, G. Tao, S. Son, C. Lu, "Feedback control scheduling in distributed real-time system", Proceedings of 22nd IEEE Real-Time Systems Symposium (RTSS'01), London, England, December 3 - 6, 2001, pp.37-72.