Safety critical applications and hard real-time profile for Java: a case study in avionics
暂无分享,去创建一个
Alejandro Alonso | Nicolas Valot | Eric Jenn | Erik Yu-Shing Hu | A. Alonso | E. Jenn | Nicolas Valot
[1] Michael D. Ernst,et al. An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.
[2] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[3] Bernhard Beckert,et al. The KeY tool , 2005, Software & Systems Modeling.
[4] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[5] Alan Burns,et al. Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..
[6] Alan Burns,et al. The Ravenscar tasking profile for high integrity real-time programs , 1998 .
[7] Andy J. Wellings,et al. A profile for high-integrity real-time Java programs , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.
[8] M. Hecht,et al. Review Guidelines for Software Languages for use in Nuclear Power Plant Safety Systems , 1997 .
[9] Sergio Yovine,et al. A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption , 2006, J. Object Technol..
[10] Jean-Marie Dautelle. Validating Java(tm) for Safety-Critical Applications , 2005 .
[11] Andy J. Wellings,et al. Ravenscar‐Java: a high‐integrity profile for real‐time Java , 2005, Concurr. Pract. Exp..
[12] Alan Burns,et al. The Ravenscar Tasking Profile for High Integrity Real-Time Programs , 1998, Ada-Europe.
[13] Paul Prisaznuk,et al. ARINC Specification 653, Avionics Application Software Standard Interface , 2006, Avionics.
[14] James Gosling,et al. The Real-Time Specification for Java , 2000, Computer.
[15] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .