A Consortium Based Model For The Development Of A Concentration Track In Embedded Systems

At Arizona State University, we are completing the implementation of a novel infrastructure for a concentration track in embedded systems that combines important aspects of academic content with the latest in research and industrial practices. The concentration track emphasizes fundamental issues such as the balance between hardware and software and the respective tradeoffs of building embedded systems.

[1]  Robyn R. Lutz,et al.  Embedded software for a space interferometry system: automated analysis of a software product line architecture , 2001, Conference Proceedings of the 2001 IEEE International Performance, Computing, and Communications Conference (Cat. No.01CH37210).

[2]  Rick Kazman,et al.  The architecture tradeoff analysis method , 1998, Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193).

[3]  Michael R. Lowry,et al.  Formal Analysis of a Space-Craft Controller Using SPIN , 2001, IEEE Trans. Software Eng..

[4]  Stefan Leue,et al.  Validation of Remote Object Invocation and Object Migration in CORBA GIOP using Promela/Spin , 1998 .

[5]  Daeyoung Kim,et al.  Scheduling tool and algorithm for integrated modular avionics systems , 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

[6]  Robyn R. Lutz,et al.  An approach to architectural analysis of product lines , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[7]  S. Pri-Tal,et al.  An Arizona ecosystem for embedded systems , 2001, Conference Proceedings of the 2001 IEEE International Performance, Computing, and Communications Conference (Cat. No.01CH37210).

[8]  Daeyoung Kim,et al.  SPIRIT-/spl mu/Kernel for strongly partitioned real-time systems , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[9]  P. H. J. van Eijk.  Verifying Relay Circuits using State Machines , 1996 .

[10]  Mario R. Barbacci,et al.  Steps in an Architecture Tradeoff Analysis Method: Quality Attribute Models and Analysis , 1998 .

[11]  Daeyoung Kim,et al.  DC/sup 2/ scheduling for aperiodic tasks in strongly partitioned real-time systems , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[12]  Robyn R. Lutz,et al.  Engineering for Safety : A Roadmap , 2001 .

[13]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[14]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.