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

Members

  • Kang G. Shin, Professor/Principal Investigator. Email: kgshin 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
  • Shige Wang, General Motors R&D and Planning. Email: shige.wang at gm.com
  • 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
  • Sangsoo Park, Postdoctoral Research Fellow. Email: ssoopark at eecs.umich.edu

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.
  • 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.
  • 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.
  • 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)
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Kazushi Ohashi and Kang G. Shin Model-based Control for Reconfigurable Manufacturing Systems
  • 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.
  • 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)
  • Shige Wang and Kang G. Shin, Generic programming paradigm for open architecture controllers Seventh International Symposium on Manufacturing with Applications (WAC 2000)
  • 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.
  • 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.
  • Chito Shiu, et al, Specifying reconfigurable control flow for open architecture controllers Proceedings of Japan-USA Symposium on Flexible Automation, June 1998.
  • Jaehyun Park, An open architecture testbed for real-time monitoring and control of machining processes Proceedings of American Control Conference (WA08-2), June 1995.
  • Jaehyun Park, et al, An open architecture real-time controller for machining processes CRIP 27, May 1995.
  • 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
  • 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.
  • 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.

Software Releases

  • AIRES Toolkit for ESCHER version 2.1, released 08-25-06: Download in pdf 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 pdf 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 pdf 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 pdf 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 pdf 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 pdf 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 pdf ZIP
  • AIRES Toolkit for Avionics version 2.0: Download in pdf ZIP
  • AIRES Toolkit version 1.0: Download pdf ZIP/ Manual pdf PDF

 

Program Sponsors:

hitachi_logo.jpg
 

vast_logo.jpg
 

Renesas logo
 

 

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

escher_logo.jpg
darpa_logo.jpgnsf_logo.jpggm_logo.jpgboeing_logo.jpgraytheon_logo.jpg
 

    • 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

darpa_logo.jpgdod_logo.jpgford_logo.jpg