| 7:30-8:25am |
Continental Breakfast |
| 8:25am |
Opening Remarks: Chris Gill, Washington University |
| 8:30-10am |
Session 1: Developing and Validating Real-World MDES Applications |
| 1.1 |
Sharp, Roll |
"MODEL-BASED INTEGRATION OF REUSABLE COMPONENT-BASED AVIONICS SYSTEMS"
[paper (doc)
slides (ppt)] |
| 1.2 |
Hecht, An, Hecht |
"COMPUTER-AIDED SOFTWARE FMEA"
(pdf) |
| 1.3 |
Lee, Sokolsky |
"Supporting Model-Based Validation at Run-Time"
(pdf
ps) |
| 10:00-10:20am |
break |
| 10:20am-11:50am |
Session 2: Model-Driven Design and Development Methodologies |
| 2.1 |
Feiler, Lewis, Vestal |
"The SAE Avionics Architecture Description Language
(AADL) Standard: A Basis for Model-Based Architecture-Driven
Embedded Systems Engineering"
[paper (doc
pdf)
(slides ppt)] |
| 2.2 |
Zamora Zapata, Bordeleau |
"Defining UML Profiles and Model Mappings in the context of Model Driven Development (MDD)"
[paper (pdf)
slides (ppt)] |
| 2.3 |
Simmonds, Ghosh, France |
"An MDA Framework for Middleware Transparent Software Development (MTSD)"
(pdf) |
| 11:50am-1:05pm |
lunch |
| 1:05-2:35pm |
Session 3: Model-Based Integration of System Properties |
| 3.1 |
de Niz, Rajkumar |
"Model-Based Embedded Real-Time Software Development"
(pdf) |
| 3.2 |
Loyall, Shapiro, Neema, Abdelwahed, Schantz, Mahadevan |
"Model-Based Design of Runtime Adaptation Strategies"
(pdf) |
| 3.3 |
Cornea, Mohapatra, Dutt, Gupta, Kreuger, Nicolau, Schmidt, Shukla, Venkatasubramanian
|
"A Model-Based Approach to System Specification for Distributed
Real-time and Embedded Systems"
[paper (doc)
slides (ppt)] |
| 2:35-2:50pm |
break |
| 2:50-4:20pm |
Session 4: MDES Scheduling and Concurrency Abstractions |
| 4.1 |
Willden, Price, Varner, Abbott |
"ADAPTIVE COMMUNICATIONS SCHEDULING FOR EMBEDDED SYSTEMS"
(pdf) |
| 4.2 |
James, Niehaus |
"A Method for Providing Complete Access to the
Concurrent Programming Model"
[paper (pdf) slides (ppt)] |
| 4.3 |
Deters, Gill, Cytron |
"Rate-Monotonic Analysis in the C++ Typesystem"
[paper (ps)
(pdf)
slides (ppt)] |
| 4:20pm |
Closing Remarks: Chris Gill, Washington University |
