Avionics Application Software Standard Interface, Digital Avionics Handbook, pp.625-632, 2014. ,
ARINC 653 role in integrated modular avionics (IMA), 27th Digital Avionics System Conference Proceedings, 2008. ,
IEEE standard SystemC language reference manual, IEEE Comput. Soc, pp.1666-2005, 2006. ,
SCandal: SystemC analysis for nondeterminism anomalies, Specification and Design Languages (FDL), 2012 Forum on, pp.112-119, 2012. ,
Fast cycle accurate simulator to simulate event-driven behavior, International Conference on Electrical, Electronic and Computer Engineering, 2004. ICEEC '04., pp.35-38, 2004. ,
DOI : 10.1109/ICEEC.2004.1374374
POK, an ARINC653-compliant operating system released under the BSD license, 13th Real- Time Linux Workshop, 2011. ,