|
The Monterey Workshop SeriesWorkshop on Software Engineering for
Embedded Systems:
|
[Home | Topics | Committees | Workshop Program | Local Arrangements | Dates and Location | Registration | Some Photos]
A
Position Paper from the Steering Committee.
The theme for this workshop is "Software
Engineering for Embedded Systems: From Requirements to Implementation.” The workshop will be the 10th in a
series of workshops, initiated in 1993 and devoted to exploring the critical
problems associated with cost-effective development of high-quality software
systems. The previous workshops were focused on the following themes:
"Real-Time and Concurrent Systems," "Software Merging and
Slicing," "Software Evolution," "Software
Architecture," "Requirements Targeting Software,"
"Engineering Automation for Computer Based Systems," "Modeling
Software System Structures in a Fastly Moving Scenario," "Engineering
Automation for Software Intensive System Integration," and "Radical
Innovations of Software and Systems Engineering in the Future." These
workshops have a rich history of bringing together both American and European
scientists that share a common interest in seeing that software development
research serves as a catalyst for practical advances in next-generation
software intensive systems.
This workshop will bring together researchers and practitioners working on all aspects of design, implementation, and evaluation of software for embedded systems to exchange ideas on creating fully integrated software engineering solutions, from requirements capture to implementation. The goal is two-fold: first, to assess the state-of-the-research in current “point solution” specific problems in this domain; and second, to define a roadmap for future research aimed at bridging the gaps between current tools and methodologies and attempting to articulate a complete set of technology requirements. The first objective will be address through presentations by leaders in a variety of relevant areas. The second objective will be addressed through presentations of position papers and extensive open discussion periods.
Workshop
topics include, but are not limited to:
Exploiting domain-information for scalable design analysis
Requirements capture (from informal to formal)
Model-based design
Refinement checking of design-implementation correspondence
Special features of embedded systems
Synthesis of (partial) implementations from designs/specifications
Verification and validation
Technology for producing requirements and design documentation
Technology for semi-automated translation of legacy/domain languages to
design/analysis platform needs
Engineering
user interfaces
A sample of focus-questions
for the workshop are the following:
How can embedded systems models be exploited throughout the software development process?
How can view-specific models of embedded systems be integrated?
How can requirements be carried effectively through the entire design life cycle?
How can engineering judgments and insight be married with formal methods to solve practical large-scale problems?
How can model-based methods work for the implementation since there's a tendency to change code, not models, when systems are being debugged?
This page was last updated on
October 2, 2003