Rapid system prototyping

The March, April, and May 2007 issues of IEEE Distributed Systems Online feature revised versions of the best papers presented at the 17th International IEEE Workshop on Rapid System Prototyping (RSP 06). These articles were selected by reviewers from a large selection of excellent submissions. This month's issue features two articles. In "Prototyping Multiprocessor System-on-Chip Applications: A Platform-Based Approach," Benaoumeur Senouci, Aimen Bouchhima, Frederic Rousseau, Frederic Petrot, and Ahmed Amine Jerraya present a new multiprocessor system-on-chip prototyping flow based on the Portable Operating System Interface (Posix) standard and a multiprocessor hardware platform. In "Creating and Validating Embedded Assertion Statecharts," Doron Drusinsky, Man-Tak Shing, and Kadir Alpaslan Demir discuss how integrating formal assertions into the modeling, implementation, and testing of statechart-based designs can enhance a system's robustness. You can find the workshop proceedings in the Computer Society's Digital Library. T