Pasadena / Signal / VICTORIA / Berlin / Hoboken / /
Company
Aeronautical Radio Inc. / Distributed Modular Electronics / Airbus / John Wiley & Sons Ltd / the Boeing / John Wiley & Sons Inc. / RTCA Inc. / Verified Systems International GmbH / D. Hardware / Equipment Certification / Airbone Systems / SCAlable & ReconfigurabLe elEctronics / / /
Event
Business Partnership / Product Issues / /
Facility
Create Sampling Port / Mathematics University of Bremen Bremen / The Avionics Full DupleX / University of Bremen / port ID / AFDX port / /
IndustryTerm
test execution software / tool chain / respective current communications port / avionics software implementation process / speed data network / test equipment / high processing power / aircraft applications / electronics devices / target applications / created test applications / test engine hardware / technology project / test hardware / software engineering principles / avionics applications / railway control systems / elEctronics / test and simulation library extensions / module tool chain / remote procedure call protocol / /
Organization
Computer Science and Mathematics University of Bremen Bremen / Publications Office / Society for Design and Process Science / Department of Computer Science / European Commission / University of Bremen / National Aeronautics and Space Administration / European Union / Society for Design / /
Person
Jan Peleska / B. SCARLETT SCARLETT / Christof Efkemann / /
Model-Based Testing for the Second Generation of Integrated Modular Avionics Christof Efkemann, Jan Peleska Department of Computer Science and Mathematics University of Bremen Bremen, Germany Email: {chref, jp}@tzi.de