---

Sponsored by: U.S. Army Research Office (ARO) National Science Foundation (NSF) U.S. Office of Naval Research (ONR) U.S. Air Force Office of Scientific Research (AFOSR) Organized by: Department of CS, University of Illinois at Chicago

The Monterey Workshop Series Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation Chicago, Illinois September 24-26, 2003

[Home | Topics | Committees | Workshop Program | Local Arrangements | Dates and Location | Registration | Some Photos]

---

Session Topics and Schedule (Download All Papers)

Wednesday, September 24

8:00-8:45	Continental Breakfast -- in the meeting room
8:45-9:00	Opening Session/Welcome

AM Session: Model-driven Development
Session Chair: Jeannette Wing, CMU, wing@cs.cmu.edu

9:00-9:50	Invited Speaker: Edward Lee, University of California, Berkeley Model-driven Development: From Object-Oriented Design to Actor-Oriented Design    Abstract Slides
9:50-10:15	Documentation Driven Agile Development for Systems of Embedded Systems Paper Slides Luqi, Lynn Zhang Software Engineering Automation Center, US Naval Postgraduate School
10:15-10:30	Coffee Break
10:30-10:55	Information Consistency Checking in Documentation Driven Development for Complex Embedded Systems Paper Slides Valdis Berzins, Lisa Qiao, Luqi Software Engineering Automation Center, US Naval Postgraduate School
10:55-11:20	A Vision for Integration of Embedded System Properties Via a Model-Component-Aspect System Architecture Paper Slides Christopher D. Gill Department of Computer Science and Engineering Washington University, St.Louis
11:20-12:10	Discussion
12:10-1:30	Lunch -- This will be an included buffet lunch held in the hotel restaurant

PM Session: From Natural Language to Requirements Models
Session Chair: Insup Lee, University of Pennsylvania, lee@cis.upenn.edu

1:30-2:20	Invited Speaker: Lori Clarke, University of Massachusetts, Amherst Title: Natural Language Requirements to Rigorous Property Specifications Slides
2:20-3:10	Invited Speaker: Aravind Joshi, University of Pennsylvania Title: Eliciting a Formal Model From Informal Requirements Specified In a Natural Language -- Some Issues and a Particular Approach   Abstract Slides
3:10-3:30	Coffee Break
3:30-3:55	From Natural Language Requirements to Executable Models of Software Components Paper Slides Barrett R. Bryant, Beum-Seuk Lee, Fei Cao, Wei Zhao, Carol C. Burt Department of Computer and Information Science, University of Alabama at Birmingham Rajeev R. Raje, Andrew M. Olson Information Science, Indiana University-Purdue University-Indianapolis Mikhail Auguston Department of Computer Science, Naval Postgraduate School
3:55-4:20	From Natural Language to Linear Temporal Logic: Aspects of Specifying Embedded Systems in LTL Paper Slides Elsa L. Gunter New Jersey Institute of Technology
4:20-5:10	Discussion
5:10--	Dinner -- Participants will be on their own for dinner. They can go outside to have a "Chicago" dinner.

Thursday, September 25

8:00-9:00

Continental Breakfast -- in the meeting room

AM Session: Frameworks for Real-time Embedded Systems
Session Chair: John Hatcliff, Kansas State University, hatcliff@cis.ksu.edu

9:00-9:50	Invited Speaker: Raj Rajkumar, CMU Title: Some Research Challenges for the Design, Construction and Validation of Embedded Real-Time Systems Slides
9:50-10:15	Software Architectures and Embedded Systems Paper Slides Nenad Medvidovic Sam Malek Marija Mikic-Rakic Computer Science Department, University of Southern California
10:15-10:30	Coffee Break
10:30-10:55	On Design Framework of Context Aware Embedded Systems Paper Slides Abhay Daftari, Nehal Mehta, Shubhanan Bakre, and Xian-He Sun Department of Computer Science, Illinois Institute of Technology
10:55-11:20	Refining Middleware Functions for Verification Purpose Paper Slides Jirome Hugues, Laurent Pautet Ecole Nationale Superieure des Telecommunications CS & Networks Department, France Fabrice Kordon Laboratorie d'Informatique de Paris 6/SRC, Universite Pierre & Marie Curie, France
11:20-12:10	Discussion
12:10-2:00	Lunch -- Participants will be on their own for this lunch break. They can go outside to have a "Chicago" lunch.

PM Session: Code Synthesis and Generation for Embedded Systems
Session Chair: Manfred Broy, Tech. University of Munich, broy@informatik.tu-muenchen.de

2:00-2:50	Invited Speaker: Rajeev Alur, University of Pennsylvania Title: Software Synthesis from Hybrid Automata   Abstract Slides
2:50-3:15	Aggressive Model-Driven Development: Synthesizing Systems from Models Viewed as Constraints Paper Slides Tiziana Margaria METAFrame Technologies GmbH, Dortmund, Germany Bernhard Steffen Chair of Programming Systems, University of Dortmund, Germany
3:15-3:30	Coffee Break
3:30-4:20	Invited Speaker: Tom Henzinger, University of California, Berkeley Title: The Fixed Logical Execution Time Assumption   Abstract Slides
4:20-5:10	Discussion
6:00--	Dinner -- The dinner cruise. We will need to meet as a group in the hotel lobby at 6:00 PM for bus service to the cruise.

Friday, September 26

8:00-9:00

Continental Breakfast -- in the meeting room

AM Session: Verification and Validation of Real-time and Hybrid Systems
Session Chair: Oleg Sokolsky, University of Pennsylvania, sokolsky@cis.upenn.edu

9:00-9:50	Invited Speaker: Mats Heimdahl, University of Minnesota Title: New Development Techniques--New Challenges for Verification and Validation   Abstract Slides
9:50-10:15	On Verification Modelling of Embedded Systems Paper Slides Ed Brinksma and Angelika Mader Department of Computer Science, University of Twente, Netherlands
10:15-10:30	Coffee Break
10:30-10:55	Sidestepping Verification Complexity with Supervisory Control Paper Slides Ugo Buy Dept. of Computer Science, University of Illinois at Chicago Houshang Darabi Dept. of Mechanical and Industrial Engineering, University of Illinois at Chicago
10:55-11:20	Techniques for Improving Test-Driven Design Abstract Slides Martin Wirsing, H. Baumeister, Alexander Knapp LMU Munchen, Institut fur Informatik, Oettingenstr, Munchen
11:20-12:10	Discussion

This page was last updated on October 2, 2003

---