Model Integrated Computing
for
Embedded, Real-Time Systems

Wednesday, 4 February 2004

0845	Welcome
	Ben Watson
	Lockheed Martin Aeronautics
0900	An Overview of the Ptolemy Project and Actor-Oriented Design Edward
	Edward A. Lee
	UC Berkeley
	Professor, Electrical Engineering and Computer Science Department
1000	Hybrid System Modeling: Operational Semantic Issues
	Edward A. Lee
	UC Berkeley
1100	Break
1115	Applying MIC Technologies To Signal Exploitation Systems
	Michael S. Moore
	Southwest Research Institute
1145	Roundtable and Discussion
	Ben Watson
1200	Lunch
1400	The Eclipse Modeling Framework and MDA®
	David Frankel
	David Frankel Consulting
1500	Tool Integration Patterns
	Gabor Karsai
	Vanderbilt University

An Overview of the Ptolemy Project and Actor-Oriented Design
Edward A. Lee

The Ptolemy Project at UC Berkeley studies modeling, simulation, and design of concurrent, real-time, and embedded systems. The focus is on assembly of concurrent components under "actor-oriented" models of computation, where components are conceptually concurrent and communicate through one of several messaging schemas. This talk describes the principles of actor-oriented design, including common features across models of computation, such as abstract syntax and type systems, and features that differ across models of computation, such concurrent threads of control and messaging schemas. Mechanisms that support the use of heterogeneous mixtures of models of computation are also described. The Ptolemy II system, which is the experimental framework used by the project in its investigations, will be described and used to illustrate key points. The Ptolemy Project at UC Berkeley is part of Chess, the Berkeley Center for Hybrid and Embedded Software Systems.

Hybrid System Modeling: Operational Semantic Issues

Edward A. Lee

Chess, the Berkeley Center for Hybrid and Embedded Software Systems, has been studying the representation and execution of hybrid systems models. These models combine the discrete events of conventional software systems with the continuous dynamics of the physical world. Part of this effort has been an interaction with the DARPA MoBIES project (Model-Based Integration of Embedded Software), which has recently drafted a proposed "standard" for hybrid systems representation called HSIF, Hybrid System Interchange Format. In this presentation, I will be describe the issues that arise in the semantics of executable hybrid systems models. Fundamentally, computer systems are not capable of precise execution of hybrid system models because they cannot precisely realize the continuous dynamics. However, reasonable approximations are available, using for example numerical solvers for ordinary differential equations. However, these approximation techniques do not address the issues peculiar to hybrid systems, where discrete events can realize discontinuous behaviors in these ODEs. In this talk, I will outline the issues and how they have been addressed in Chess.

Bio: Edward A. Lee is a Professor in the Electrical Engineering and Computer Science Department at U.C. Berkeley. His research interests center on design, modeling, and simulation of embedded, real-time computational systems. He is a director of Chess, the Berkeley Center for Hybrid and Embedded Software Systems, and is the director of the Berkeley Ptolemy project. He is co-author of five books and numerous papers. His bachelors degree (B.S.) is from Yale University (1979), his masters (S.M.) from MIT (1981), and his Ph.D. from U. C. Berkeley (1986). From 1979 to 1982 he was a member of technical staff at Bell Telephone Laboratories in Holmdel, New Jersey, in the Advanced Data Communications Laboratory. He is a co-founder of BDTI, Inc., where he is currently a Senior Technical Advisor, and has consulted for a number of other companies. He is a Fellow of the IEEE, was an NSF Presidential Young Investigator, and won the 1997 Frederick Emmons Terman Award for Engineering Education.

The Eclipse Modeling Framework and MDA®: Status and Opportunities
David Frankel

The Eclipse Modeling Framework (EMF) and the OMG’s Model Driven Architecture® are pushing model-oriented strategies and techniques forward in the industry. This session will examine the relationship between these two initiatives. It will also explore the potential for this relationship to work synergistically with other model-centric movements including Generative Programming, Domain-Specific Languages, Product Line Practices, and Model-Integrated Computing.

Bio: David Frankel’s career in the software industry spans 25 years, during which he has had experience in all phases of software development including requirements gathering, writing of specifications, formal design, coding, testing, internal and user documentation, design and teaching of training courses, deployment, and long-term maintenance. He specializes in the architecture of distributed enterprise computing systems. He is the author of many published articles and sole author of the book Model-Driven Architecture: Applying MDA to Enterprise Computing, published by John Wiley & Sons in January, 2003. He served several terms as an elected member of OMG Architecture Board, and was intimately involved in the launch of MDA. He is the co-author of several industry standards, including COM-CORBA Interworking, the UML™ Profile for CORBA®, and the UML Profile for EJB™. He is the owner of David Frankel Consulting.