1 |
ARP 4754, "Certification Considerations for Highly Integrated or Complex Aircraft Systems", 1997
|
2 |
Alan Burns, Brian Dobbing and Tullio Vardanega, "Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems", University of York Technical Report YCS-2003-348, 2003
|
3 |
Chang-Jin Kim, Jin-Young Choi, "Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verificationready Statecharts : Reverse engineering and Statemate approach", SERP2006, 2006
|
4 |
ARP 4761, "Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment", 1996
|
5 |
Federal Aviation Regulations 25.1309, "Airworthiness Standard, Transport Category Airplanes Equipment Systems and Installations", 1977
|
6 |
David Harel, "Modeling Reactive Systems with Statecharts : The Statemate Approach", I-Logix, 1999
|
7 |
Carolyn Salmon, "The Certification of Systems containing Software Developed using RTCA DO-178B", ERA, 2006
|
8 |
Jagun Kwon, Andy Wellings, Steve King, "Ravenscar-Java : A High Integrity Profile for Real-Time Java", York Technical Report YCS 342, 2002
|
9 |
Common Criteria
|
10 |
김창진, 최진영, "소프트웨어 설계 모듈의 재사용을 위한 Statemate 일반화 차트의 확장", 2006
|
11 |
John A McDermid, "Trends in System Safety : A European View?", 7th Australian Workshop on Safety Critical Systems and Software, Adelaide, 2002
|
12 |
FAA Advisory Circular 25.1309-1A, "System Design and Analysis", 1988
|
13 |
Hoyt Lougee, "DO-178B Certified Software : A Formal Reuse Analysis Approach", The Journal of Defense Software Engineering, 2005
|
14 |
RTCA, "DO-178B; Software Consideration in Airborne Systems and Equipment Certification", 1992
|
15 |
UK MoD, "Def Stan 00-55; Requirements for Safety Related Software in Defense Equipment Issue 2", 1997
|