A Multicore Approach to Model-Based Analysis and Design of Cyber-Physical Systems Anil Kanduri1, Amir-Mohammad Rahmani1, Pasi Liljeberg1, Kaiyu Wan2, Ka Lok Man2,3, Juha Plosila1 1 Department of Information Technology,

First Page		Document Content
Date: 2013-12-16 08:28:50 Engineering Technology Computing Avionics Embedded systems Unmanned vehicles Robotics Unmanned aerial vehicle Wireless Cyber-physical system Aircraft flight control system Paparazzi Project		A Multicore Approach to Model-Based Analysis and Design of Cyber-Physical Systems Anil Kanduri1, Amir-Mohammad Rahmani1, Pasi Liljeberg1, Kaiyu Wan2, Ka Lok Man2,3, Juha Plosila1 1 Department of Information Technology, Add to Reading List Source URL: www.bpti.lt Download Document from Source Website File Size: 353,81 KB Share Document on Facebook

	ADVANCE ADVANCED DESIGN AND VERIFICATION ENVIRONMENT FOR CYBER-‐PHYSICAL SYSTEM DocID: 1xV6T - View Document
	VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer Yong Kiam Tan DocID: 1xUj2 - View Document
	Chapter 6 Publishable summary The main objective of MANTIS is to develop a cyber physical system based proactive maintenance service platform architecture enabling collaborative maintenance ecosystems. DocID: 1v1RR - View Document
	IEEE TCCPS Mid-Career Award The IEEE TCCPS Mid-Career Award recognizes a mid-career researcher from either academia or industry who has demonstrated outstanding contributions to the field of cyber-physical system (CPS) i DocID: 1uH31 - View Document