The aerospace demonstrator of DECOS

IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC

Volumn 2005, Issue , 2005, Pages 19-24

  Fuhrmann, Hauke ^a   Koch, Jens ^b   Rennhack, Jörn ^b   Von Hanxleden, Reinhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

^b AIRBUS OPERATIONS GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AEROSPACE ENGINEERING; COMPUTER ARCHITECTURE; SYSTEMS ENGINEERING;

DEPENDABLE EMBEDDED COMPONENTS AND SYSTEMS (DECOS) PROJECT; MODEL-BASED DEVELOPMENT PROCESS; SYSTEM ARCHITECTURE; TIME-TRIGGERED ARCHITECTURE;

EMBEDDED SYSTEMS;

EID: 33747387636     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITSC.2005.1520015     Document Type: Conference Paper

References (22)

1. ISO 11898. Road Vehicles-Interchange of digital information-Controller area network (CAN) for high speed communication, International Standards Organisation, 1993.
2. H. Kopetz and G. Bauer, "The time-triggered architecture." Proceedings of the IEEE, vol. 91, no. 1, pp. 112-126, 2003.
3. Time-Triggered Protocol TTP/C High-level Specification Document Protocol Version 1.1, 1st ed., TTA-Group, November 2003.
4. J. Berwanger, M. Peller, and R. Griessbach, "byteflight - A new protocol for safety critical applications," in Proc. FISITA 2000 Fédération Internationale des Sociétés d'Ingénieurs des Techniques de l'Automobile, June 2000.
5. R. Belschner, R. Mores, G. Hay, J. Berwanger, C. Ebner, S. Fluhrer, E. Fuchs, B. Hedenetz, A. Krüger, P. Lohrmann, D. Millinger, M. Peller, J. Ruh, A. Schedl, and M. Sprachmann, "FlexRay: The communication system for advanced automotive control systems," in SAE 2001 World Congress. Detroit, USA: Society of automotive Engineers, Mar. 2001.
6. T. Führer, B. Müller, W. Dieterle, F. Hartwich, R. Hugel, and M. Walther, "Time triggered communication on CAN," http://www.can-cia.org/can/ttcan/fuehrer.pdf, 2000.
7. The Mathworks, Inc., "Company homepage," http://www.mathworks. com.
8. Esterel Technologies, "Company homepage," http://www.esterel- technologies.com.
9. MLDesign Technologies, "Company homepage," http://www. mldesigner.com.
10. DECOS - Dependable Components and Systems, "Research project homepage," https://www.decos.at/.
11. T. Neuheuser, B. Holert, and U. B. Carl, "Elektrische Antriebssysteme für ein zentrales Landeklappenelement," in Deutscher Luft- und Raumfahrtkongress, vol. DGLR-JT 2002-192, Stuttgart, 2002.
12. ARINC 664, Aircraft Data Networks, Part 7 - Deterministic Networks, ARINC, Annapolis, Maryland, USA. [Online], Available: http://www.arinc.com
13. H. Geilsdorf, "DECOS - SP6 Test-Bench Design," 2005.
14. G. Berry, "The foundations of Esterel," Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000, editors: G. Plotkin, C. Stirling and M. Tofte.
15. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous data-flow programming language LUSTRE," Proceedings of the IEEE, vol. 79, no. 9, pp. 1305-1320, September 1991. [Online], Available: http://citeseer.nj. nec.com/halbwachs91synchronous.html
16. C. André, "Representation and Analysis of Reactive Behaviors: A Synchronous Approach," in Computational Engineering in Systems Applications (CESA). Lille (F): IEEE-SMC, July 1996, pp. 19-29. [Online], Available: http://www.i3s.unice.fr/~andre/CAPublis/Cesa96/SyncCharts-Cesa96.pdf
17. F. Boussinot and R. de Simone, "The ESTEREL language, another look at real time programming," Proceedings of the IEEE, vol. 79, no. 9, pp. 1293-1304, September 1991.
18. C. André, "SyncCharts: A Visual Representation of Reactive Behaviors," I3S, Sophia-Antipolis, France, Tech. Rep. RR 95-52, rev. RR (96-56), Rev. April 1996. [Online], Available: http://www.i3s.unice.fr/~andre/ CAPublis/SYNCCHARTS/SyncCharts.pdf
19. C. André, "Semantics of S.S.M (Safe State Machine)," I3S, Sophia-Antipolis, France, Tech. Rep., 2003. [Online], Available: http://www.esterel-technologies.com/v3/?id=50399&dwnID=48
20. R. v. Hanxleden, "Modellierung Reaktiver Systeme - Statecharts und Synchrone Sprachen," in Software Engineering für Eingebettete Systeme, P. Liggesmeyer and D. Rombach, Eds. Spektrum Akademischer Verlag, 2005.
21. Software Considerations in Airborne Systems and Equipment Certification, RTCA/EUROCAE, Dec. 1992.
22. H. Kopetz and G. Grünsteidl, "TTP - a time-triggered protocol for fault-tolerant real-time systems," Institut für Technische Informatik, Technische Universität Wien, Treilstr. 3/182/1, A-1040 Vienna, Austria, Tech. Rep., 1992.