Abstract :
The following topics are dealt with: Cyberphysical system; model driven development knowledge; hardware-software communication middleware; component based distributed real-time embedded system; intrusive online monitoring; software safety standard; computer based system; domain specific modeling languages; pushdown model checking; multicore induced behavioral deviation; autonomous ground vehicle; service oriented product lines; reachability analysis; formal verification; distributed transaction management; open-source pivot language; model driven in-the-loop validation; UAV software testing; and data adaptable reconfigurable embedded system.
Keywords :
embedded systems; formal verification; middleware; object-oriented programming; reconfigurable architectures; service-oriented architecture; software standards; Cyberphysical system; UAV software testing; autonomous ground vehicle; component based distributed real-time embedded system; computer based system; data adaptable reconfigurable embedded system; distributed transaction management; domain specific modeling languages; formal verification; hardware-software communication middleware; intrusive online monitoring; model driven development knowledge; model driven in-the-loop validation; multicore induced behavioral deviation; open-source pivot language; pushdown model checking; reachability analysis; service oriented product lines; software safety standard;
Conference_Titel :
Engineering of Computer Based Systems (ECBS), 2011 18th IEEE International Conference and Workshops on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4577-0065-1
DOI :
10.1109/ECBS.2011.1
