International Journal of Embedded Systems (IJES)

International Journal of Embedded Systems

2006 Vol.2 No.3/4

Special Issue on the Design and Verification of Real-Time Embedded Software

Guest Editor: Professor Pao-Ann Hsiung


Pages Title and author(s)
142-155Applying model-driven development to distributed real-time and embedded avionics systems
Krishnakumar Balasubramanian, Arvind S. Krishna, Emre Turkay, Jaiganesh Balasubramanian, Jeff Parsons, Aniruddha Gokhale, Douglas C. Schmidt
DOI: 10.1504/IJES.2006.014851
156-165Real-time virtual machines for avionics software migration
Lui Sha, Chang-Gun Lee
DOI: 10.1504/IJES.2006.014852
166-183Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications
Andrew Borg, Andy Wellings
DOI: 10.1504/IJES.2006.014853
184-195A survey of formal verification methods and tools for embedded and real-time systems
Albert Mo Kim Cheng
DOI: 10.1504/IJES.2006.014854
196-208Partitioning bin-packing algorithms for distributed real-time systems
Dionisio De Niz, Raj Rajkumar
DOI: 10.1504/IJES.2006.014855
209-221Performance analysis of hard-real-time embedded software
Tai-Yi Huang, Kuang-Li Huang, Yeh-Ching Chung
DOI: 10.1504/IJES.2006.014856
222-227The adaptive layer-based scheduling system for embedded real-time transmission on scalable multimedia stream
Chia-Ying Tseng
DOI: 10.1504/IJES.2006.014857
228-238Syntax-driven optimisations for reachable state space construction of ESTEREL programs
Eric Vecchie, Robert de Simone
DOI: 10.1504/IJES.2006.014858
239-247The MILS architecture for high-assurance embedded systems
Jim Alves-Foss, Paul W. Oman, Carol Taylor, W. Scott Harrison
DOI: 10.1504/IJES.2006.014859
248-259LyraFILE: a component-based VFAT file system for embedded systems
Mei-Ling Chiang, Ching-Ju Lo
DOI: 10.1504/IJES.2006.014860