AIRES: Automatic Integration of Reusable Embedded Software

Overview

• Develop techniques to assist large-scale embedded software design, analysis, and verification
• Construct and integrate software toolkits to implement these techniques

Current Members

• Kang G. Shin, Professor/Principal Investigator. Email: kgshin at eecs.umich.edu
• Sangsoo Park, Postdoctoral Research Fellow. Email: ssoopark at eecs.umich.edu
• Antino Kim, Grad. Student, Email: kheehyon at eecs.umich.edu
• Buyoung Yun, Grad. Student. Email: buyoung at umich.edu
• Hasdi Hashim, Doctor of Engineering Candidate. Email: hhashim at ford.com

Former Members

• Jeong Chan Kim
• Sharath Kodase
• Zonghua (Sam) Gu, PhD? , May 2004, Email: zgu at eecs.umich.edu
• Shige Wang, PhD? , July 2004 Email: wangsg at eecs.umich.edu
• Jeffrey R. Merrick, MS, December 2004. Email: jmerrick at engin.umich.edu
• Daniel L. Kiskis, Assistant Research Scientist. Email: dlk at umich.edu
• Daniel Mihalik, Grad. Student. Email: mihalikd at umich.edu
• Xiaofeng Yin, Visiting Research Scientist. Email: xfyin at eecs.umich.edu
• Walter Olds, MS, December 2007. Email: wolds at eecs.umich.edu

Group Meeting Schedule

Time: 3:30pm - 4:30pm on Thursday

Room: CSE 4901

Publications

• Shige Wang, Kang G. Shin, and Sangsoo Park On Constructing High-Confidence Vehicle Control Software National Workshop on High-Confidence Automotive Cyber-Physical Systems, Troy, USA. (to appear)
• Sangsoo Park, Walter Olds, Kang G. Shin, and Shige Wang Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development IEEE Real-Time Systems Symposium (RTSS 2007), Tucson, USA.
• Shige Wang and Kang G. Shin Task construction for model-based design of embedded control software IEEE Transactions on Software Engineering, vol. 32, no. 4, pp. 254-264, April 2006. PDF
• Jeffrey R. Merrick, Shige Wang and Kang G. Shin Priority refinement for dependent tasks in large embedded real-time software IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2005), Toronto, Canada. PDF
• Shige Wang, Jeffrey R. Merrick, and Kang G. Shin Component allocation with multiple resource constraints for embedded real-time software design IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004) PDF
• Zonghua Gu, Shige Wang and Kang G. Shin Synthesis of real-time implementation from UML-RT models, IEEE RTAS Workshop on Model-Driven Embedded Systems (MoDES? 2004), Toronto, Canada. PDF
• Zonghua Gu, Shige Wang and Kang G. Shin Integrated modeling and analysis of embedded control systems with real-time scheduling Society of Automotive Engineer's Congress (SAE 2004), Detroit, MI. PDF
• Shige Wang and Kang G. Shin Early-stage perfromance modeling and its application for integrated embedded control software design ACM International Workshop on Software and Performance (WOSP 2004), Redwood City, CA. PDF
• Zonghua Gu, Shige Wang, Sharath Kodase, and Kang G. Shin An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software IEEE International Real-Time Systems Symposium (RTSS 2003), Cancun, Mexico. PDF
• Zonghua Gu and Kang G. Shin An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Nets International Conference on Distributed Computing Systems (ICDCS 2003), Providence, RI. PS
• Sharath Kodase, Shige Wang, Zonghua Gu, and Kang G. Shin Improving scalability of task allocation and scheduling in large distributed real-time systems using shared buffers IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2003), Toronto, Canada. PDF
• Sharath Kodase, Shige Wang, and Kang G. Shin Transforming structural model to runtime model of embedded software with real-time constraints Design, Automation and Test in Europe Conference and Exhibition (DATE 2003), Munich, Germany. PDF
• Shige Wang, Sharath Kodase, and Kang G. Shin Automating embedded software construction and analysis with design models International Conference of Euro-uRapid 2002, Frankfurt, Germany. PDF
• Shige Wang, Sharath Kodase, Kang G. Shin, and Daniel L. Kiskis Measurement of OS services and its application to performance modeling and analysis of integrated embedded software IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), San Jose, CA. PS
• Zonghua Gu and Kang G. Shin Analysis of event-driven real-time system s with time Petri Nets IFIP World Computer Congress 2002, Stream on Distributed and Parallel Embedded Systems, Montreal, Canada. PDF
• Shige Wang and Kang G. Shin Constructing reconfigurable software for machine control systems IEEE Transactions on Robotics and Automation, Vol 18 No 4, Aug 2002, pp 475-486. PDF
• Shige Wang and Kang G. Shin An Architecture for Embedded Software Integration Using Reusable Components International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2000), San Jose, CA. PDF
• Kazushi Ohashi and Kang G. Shin Model-based Control for Reconfigurable Manufacturing Systems PDF
• Seok-Kyu Kweon, Kang G. Shin and Gary Workman Achieving Real-Time Communication over Ethernet with Adaptive Traffic Smoothing IEEE Real-Time Technology and Applications Symposium (RTAS 2000), Washington, DC. PS
• Seok-Kyu Kweon, Kang G. Shin and Gary Workman Ethernet-based Real-time Control Networks for Manufacturing Automation Systems International Symposium on Manufacturing with Applications (WAC 2000) PS
• Shige Wang and Kang G. Shin, Generic programming paradigm for open architecture controllers Seventh International Symposium on Manufacturing with Applications (WAC 2000) PS
• Seok-Kyu Kweon, Kang G. Shin and Qin Zheng, Statistical Real-Time Communication over Ethernet for Manufacturing Automation Systems IEEE Real-Time Technology and Applications Symposium (RTAS 1999), Vancouver, Canada. PS
• Shige Wang, Chinya V. Ravishankar and Kang G. Shin, Open architecture controller software for integration of machine tool monitoring International Conference on Robotics and Automation (ICRA 1999) , Detroit, MI. May 1999. PS
• Chito Shiu, et al, Specifying reconfigurable control flow for open architecture controllers Proceedings of Japan-USA Symposium on Flexible Automation, June 1998. PS
• Jaehyun Park, An open architecture testbed for real-time monitoring and control of machining processes Proceedings of American Control Conference (WA08-2), June 1995. PS
• Jaehyun Park, et al, An open architecture real-time controller for machining processes CRIP 27, May 1995. PS
• Dar-Tzen Peng; Shin, K.G.; Abdelzaher, T.F. Assignment and scheduling communicating periodic tasks in distributed real-time systems IEEE Transactions on Software Engineering, Volumn 23, Issue 12, Dec. 1997 PDF
• Abdelzaher, T.F.; Shin, K.G. Combined task and message scheduling in distributed real-time systems IEEE Transactions on Parallel and Distributed Systems, Volumn 10, Issue 11, Nov. 1999. PDF
• Abdelzaher, T.F.; Shin, K.G. Period-based load partitioning and assignment for large real-time applications IEEE Transactions on Computers, Volumn 49, Issue 1, Jan. 2000. PDF

Software Releases

• AIRES Toolkit for ESCHER version 2.1, released 08-25-06: Download in ZIP
  • Invocation interface to AIRES analysis tool;
  • Command and Algorithm models in AnalysisReport? for xAIF;
  • ESML2xAIF? and ECSL-DP2xAIF translators for Command model;
  • GUI for AIRES Analyzer;
  • Algorithms node for tree viewer in Eclipse view plug-in.
• AIRES Toolkit for FordURP? version 1.0, released 03-27-06: Download in ZIP
  • Based on GME v4.11.10;
  • AIRES paradigm including SW structural, HW platform, and runtime meta-models;
  • Interpreter for Matlab Simulink model importation;
  • Interpreter for component allocation and task forming;
  • Interpreter for timing assignment and schedulability analysis;
  • Interpreter for CAN message importation.
• AIRES Toolkit for ESCHER version 2.0, released 03-01-06: Download in ZIP
  • Based on WOTIF tool integration framework;
  • xAIF analysis interchange format for both Avionics and Automotive;
  • Eclipse plug-in for analysis result display;
  • Algorithms supporting structural analysis, timing assignment, schedulability analysis and component allocation.
• AIRES Toolkit version 2.6 for Automotive: Download in ZIP
  • Meta-model: include memory consumption and bound attributes;
  • Component allocation and task generation with multiple resource constraints;
  • Implementation of exhaustive search for comparison;
  • Tool for random model generation.
• AIRES Toolkit version 2.5 for Automotive: Download in ZIP
  • Meta-model: add processor bound and component/processor binding;
  • Component allocation and task generation with both computation and communication constraints;
  • Global priority assignement and distributed end-to-end timing analysis.
• AIRES Toolkit version 2.1 for Automotive: Download in ZIP
  • Meta-model changed to include platform profiling information;
  • Composition check improved;
  • Platform profiling data integrated;
  • Timing assignment refinement when fail timing constraints added.
• AIRES Toolkit for Avionics version 2.1, released 07-06-03: Download in ZIP
• AIRES Toolkit for Avionics version 2.0: Download in ZIP
• AIRES Toolkit version 1.0: Download ZIP/ Manual PDF

Program Sponsors:

• Current program sponsors
  • Hitachi America, Ltd.

• • VaST Academic Programs

• • Renesas Technology

• Previous program sponsors
  • ESCHER, post-MoBIES consortium of DARPA, NSF, GM, Boeing, and Rathyeon

• • DARPA MoBIES? (Model-Based Integration of Embedded Software) Program
  • ARO MURI Advanced tool integration for embedded systems assurance, led by University of Pennsylvania
  • Ford Motor Company's University Research Program

This page is under construction and will be updated very soon.

-- Main.ssoopark - 25 Aug 2007