|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99)
Portable Code for Complex Critical Systems
Hong Kong, China
December 13-December 15
ISBN: 0-7695-0306-3
| ASCII Text | x | ||
| N.C. Audsley, I.J. Bate, A. Grigg, "Portable Code for Complex Critical Systems," 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 111, Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), 1999. | |||
| BibTex | x | ||
| @article{ 10.1109/RTCSA.1999.811200, author = {N.C. Audsley and I.J. Bate and A. Grigg}, title = {Portable Code for Complex Critical Systems}, journal ={2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications}, volume = {0}, year = {1999}, issn = {1530-1427}, pages = {111}, doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1999.811200}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications TI - Portable Code for Complex Critical Systems SN - 1530-1427 SP EP A1 - N.C. Audsley, A1 - I.J. Bate, A1 - A. Grigg, PY - 1999 VL - 0 JA - 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ER - | |||
A common requirement on future safety-critical systems is to support hardware interchangeability. In this paper, work sponsored by British Aerospace Military Aircraft and Aerostructures is reported which addresses this issue.Interchangeability is motivated by the need to perform technology upgrades within a system when components become obsolete -- hardware computer components are often superseded within a few years, whereas the total system may have a lifetime of decades. Hardware interchangeability, implies that software needs to be moved to a new platform and execute with minimal rework or disturbance to the rest of the system.Movement of software to a new (different) hardware platform is a difficult proposition without rework, e.g. re-compilation of the software. For safety-critical systems, the rework could also include test, analysis, verification and validation efforts, adding to the overall cost of the change.In this paper, the problem of movement of software to a new platform is considered, within the critical systems domain. The solution to the problem proposed in this paper is Portable Code (PC) whereby source code is compiled to an intermediate portable form that can then be instantiated to, or directly executed by, any platform. This solution can remove much or all of the rework costs involved in moving software to a new platform, thus substantially reducing system lifecycle costs.The contributions of this paper are twofold. Firstly, a PC suitable for critical systems is described. This is a subset of an existing PC, namely ANDF (Architecture Neutral Distribution Format). Secondly, a compilation approach suitable for PC is described. This has the benefit of being traceable, thus increasing the ability to perform static analysis at the PC level, in turn increasing the ability to move the code to a new platform without invalidating analysis and other evidence gathered for the original platform.
Citation:
N.C. Audsley, I.J. Bate, A. Grigg, "Portable Code for Complex Critical Systems," rtcsa, pp.111, Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), 1999
Usage of this product signifies your acceptance of the Terms of Use.
