ACM SIGBED Review (ISSN: 1551-3688)
Special Interest Group on Embedded Systems

  Home >> Archives >> Submit >> News >> Contact Us

SIGBED Review, Volume 1, Number 3, October 2004
Special Issue on Model-Based Design


Content:

Introduction to SIGBED Review
Introduction to the Special Issue
Regular Columns
Special Issue: Invited Short Contributions -- Model-Based Design

Introduction to SIGBED Review:

This quarterly newsletter is intended to provide a quick publication venue for scholarly work in embedded systems. The field of embedded systems has been growing steadily as evidenced by the recent introduction of new ACM transactions and new conferences that address different facets of this important research area. Today, it encompasses fields as diverse as distributed shipboard computing on one side and nano-devices on another.

SIGBED Review is aiming to complement the current publication venues by providing a faster-paced forum for introducing original embedded systems research and for presenting significant contributions to the state of the art. Especially welcome are revolutionary or controversial ideas that generate discussion or fundamentally rethink established concepts and approaches. Being an online forum, SIGBED Review will offer decreased turnaround time from submission to publication and provide means of more efficient dissemination of ideas and experiences in the field.

Topics of interest to SIGBED include mathematical foundations for embedded systems, embedded system design methodologies, model-based generation and integration technology, models of computations, real-time systems, architectures and compilers, networked embedded systems, wireless sensor networks, hardware architectures, and secure embedded systems. Original contributions to the above and other related topics are solicited. Also, please tune-in for an upcoming series of special issues.

Tarek Abdelzaher, Sandeep Neema, Oleg Sokolsky
The SIGBED Review Editors


Introduction to the Special Issue:

The importance of modeling and model-driven development is rapidly gaining in popularity in many areas of software and systems. Modeling is especially important for embedded systems design, because of their reactive nature and complex relationship with environment. Since many embedded systems are safety- and life-critical, analysis is essential to ensure correct and efficient operation of the system. An abstract, yet precise representation of the system design is crucial to capture the design semantics unambiguously and enable a rigorous analysis.

The model-based design research community has produced a large number of tools and technologies, to facilitate the design and development of highly complex embedded systems. These tools address multiple aspects of system design including modeling, analysis, simulation, and synthesis. This issue includes a survey article on some of the prominent research tools in this area. This issue also provides a report on ESCHER, a non-profit organization founded with government and industry sponsorship that provides a quality-controlled repository for the embedded systems design tools.

Sandeep Neema
Special Issue Editor


Regular Columns:



Invited Short Contributions: Model-Based Design


Newsletter Editors:

Welcome to the SIGBED Review. The peer-reviewed quarterly publication provides a dissemination forum for research on embedded computing. Topics of interest include, but are not limited to, embedded software, embedded system architecture, model-based design, distributed real-time middleware, real-time architectures, feedback control, low-power computing, sensor networks, security, and embedded applications. Submissions on these and other topics should be sent by e-mail to Tarek Abdelzaher, .

Last update: 10-25-2004
Maintained by Chengdu Huang