Journal cover image

Browse issues

Vol. 10
Vol. 9
Vol. 8
Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1

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


PagesTitle and authors
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