14. SDL Forum 2009: Bochum, Germany

Rick Reed, Attila Bilgic, Reinhard Gotzhein (Eds.): SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings. Lecture Notes in Computer Science 5719 Springer 2009, ISBN 978-3-642-04553-0

Model-Driven Development

Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann:
Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example. 1-18
Reinhard Gotzhein, Marc Krämer, Lothar Litz, Alain Chamaken:
Energy-Aware System Design with SDL. 19-33
Philipp Becker, Dennis Christmann, Reinhard Gotzhein:
Model-Driven Development of Time-Critical Protocols with SDL-MDD. 34-52
El Arbi Aboussoror, Ileana Ober, Michelle Sibilla:
Towards Model Based Development of Managed Networked Embedded Systems. 53-62

Akhtar Ali Jalbani, Jens Grabowski, Helmut Neukirchen, Benjamin Zeiss:
Towards an Integrated Quality Assessment and Improvement Approach for UML Models. 63-81
Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap:
Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. 82-97
Jameleddine Hassine:
Early Schedulability Analysis with Timed Use Case Maps. 98-114

Gunter Mussbacher, Daniel Amyot:
Extending the User Requirements Notation with Aspect-Oriented Concepts. 115-132
Muhammad R. Abid, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher:
A UML Profile for Goal-Oriented Modeling. 133-148

Andreas Blunk, Joachim Fischer, Daniel A. Sadilek:
Modelling a Debugger for an Imperative Voice Control Language. 149-164
Kevin Marth, Shangping Ren:
The ARC Programming Model. 165-181
Frank Alexander Kraemer:
Automatic Generation of Compatible Interfaces from Partitioned UML Activities. 182-199

Klaus Ahrens, Ingmar Eveslage, Joachim Fischer, Frank Kühnlenz, Dorian Weber:
The Challenges of Using SDL for the Development of Wireless Sensor Networks. 200-221
Anas Showk, David Szczesny, Shadi Traboulsi, Irv Badr, Elizabeth Gonzalez, Attila Bilgic:
Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique. 222-238
Shadi Traboulsi, Felix Bruns, Anas Showk, David Szczesny, Sebastian Hessel, Elizabeth Gonzalez, Attila Bilgic:
SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform. 239-255