SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

302 Pages·2013·10.65 MB·English

by  Gusztáv Adamis

Ferhat Khendek
Maria Toeroe
Abdelouahed Gherbi
Rick Reed (Eds.)
6
1
9 SDL 2013: Model-Driven
7

S
C
Dependability Engineering
N
L
16th International SDL Forum
Montreal, Canada, June 2013
Proceedings
123
Lecture Notes in Computer Science 7916
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
MadhuSudan
MicrosoftResearch,Cambridge,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbruecken,Germany
Ferhat Khendek Maria Toeroe
Abdelouahed Gherbi Rick Reed (Eds.)
SDL 2013: Model-Driven
Dependability Engineering
16th International SDL Forum
Montreal, Canada, June 26-28, 2013
Proceedings
1 3
VolumeEditors
FerhatKhendek
ConcordiaUniversity,Montreal,QC,Canada
E-mail:[email protected]
MariaToeroe
EricssonInc.,Montreal,QC,Canada
E-mail:[email protected]
AbdelouahedGherbi
ÉcoledeTechnologieSupérieure,Montreal,QC,Canada
E-mail:[email protected]
RickReed
TelecommunicationsSoftwareEngineering,Windermere,UK
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-642-38910-8 e-ISBN978-3-642-38911-5
DOI10.1007/978-3-642-38911-5
SpringerHeidelbergDordrechtLondonNewYork
LibraryofCongressControlNumber:2013939785
CRSubjectClassification(1998):D.2,C.2,D.3,F.3,C.3,K.6,D.2.4
LNCSSublibrary:SL5–ComputerCommunicationNetworksandTelecommuni-
cations
©Springer-VerlagBerlinHeidelberg2013
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof
thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,
broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology
nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection
withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand
executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse
maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution
undertherespectiveCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication,
neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor
omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe
materialcontainedherein.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
The System Design Languages Forum (SDL Forum), held every two years, is
an international conference that provides an open arena for participants from
academia and industry to present and discuss recent innovations, trends, ex-
periences, and concerns in the field of system design languages and modeling
technologies.Originallyfocusing on the Specification andDescription Language
—standardizedandfurtherdevelopedbytheInternationalTelecommunications
Union (ITU) overa periodof more than 30 years — the SDL Forum has broad-
ened its topics in the course of time.
The SDL Forum conference series is run by the SDL Forum Society, a non-
profit organization founded in 1995 by language users and tool providers to
promotetheITUSpecificationandDescriptionLanguageandrelatedsystemde-
signlanguages,including,forinstance,MessageSequenceCharts(MSC),ASN.1,
TTCN, URN, UML, and SysML.
Thelocalcoorganizersofthe16th editionoftheSDLForum(SDL2013)were
Concordia University, Ericsson, and E´cole de Technologie Sup´erieure. A special
focusofSDL2013wasonmodel-drivendependabilityengineering,whichaimsat
developingdependablesystemsfollowingthemodel-drivenparadigm.Thereason
for setting this focus is that we have come to depend heavily on software sys-
tems in virtually every sector of human activity, including telecommunications,
aerospace, automotive, process automation, and this trend is further increas-
ing. These software systems are increasingly complex because of ever-growing
demands for functionalities, features and improved user experience. The speci-
fication, design, validation, configuration, deployment and maintenance of such
systemsareaccordinglycomplextasks,towhichthe dependabilityrequirements
add yet another dimension. The dependability of software systems, which is a
multi-attribute quality that includes reliability, availability and security, needs
tobetakenintoaccountinthedevelopmentprocesssothattheymeetthetarget
requirements.
ThisvolumecontainsthepaperspresentedatSDL2013.Sixteenhigh-quality
papers were selected from 30 submissions. Each paper was peer reviewed by
at least three Program Committee members and discussed during the online
Program Committee meeting. The selected papers cover a wide spectrum of
topicsrelatedtosystemdesignlanguages,rangingfromthe SystemDesignLan-
guage usage and evolution to model transformations, and were grouped into
six technical sessions as reflected in this volume. The first session is devoted
VI Preface
toverificationandtestingusingITU-Tlanguages.The papersinthesecondses-
sion tackle different issues related to dependability engineering, while papers in
the third sessionproposemodel driven analysisapproachesfor safety properties
or dependability. Domain-Specific Languages are proposedin the fourth session
papers, followed by a set of papers on model transformation, before concluding
with contributions on the ITU-T Specification and Description Language and
its evolution.
The SDL Forum has been made possible by the dedicated work and contri-
butions of many people and organizations. We thank the authors of submitted
papers, the 48 members of the Program Committee, and the members of the
SDL ForumSocietyBoard.We thankthe CommunicationsServices,Conference
Services and Instructional and Information Technology Services of Concordia
University for their support. The submission and review process was run with
easychair.org, we therefore thank the people behind the EasyChair conference
system.WethankthesponsorsoftheSDL2013:ConcordiaUniversity,Ericsson,
E´coleTechnologieSup´erieure,SYTACOM,andtheUniversityofKaiserslautern.
April 2013 Ferhat Khendek
Maria Toeroe
Abdelouahed Gherbi
Rick Reed
Organization
We dedicate these proceedings to Rick Reed, to acknowledge his long-standing
and continued contributions to the Specification and Description Language and
related ITU languages, the SDL Forum Society, and the SDL Forum and SAM
Workshop series. Thank you Rick!
Ferhat Khendek
Maria Toeroe
Abdelouahed Gherbi
Reinhard Gotzhein (Chairman of SDL Forum Society)
SDL Forum Society
The SDL Forum Society is a not-for-profit organization that, in addition to
running the System Design LanguagesForum (SDL Forum) conference series of
events (once every two years),also:
– Runs the SystemAnalysis andModelling(SAM) workshopseries,everytwo
years between SDL Forum years
– Is a body recognized by ITU-T as co-developing System Design Languages
in the Z.100 series (Specification and Description Language), Z.120 series
(Message Sequence Chart), Z.150 series (User Requirements Notation) and
other language standards
– Promotes the ITU-T System Design Languages
FormoreinformationontheSDLForumSociety,seehttp://www.sdl-forum.org.
Organizing Committee
Chairs
Abdelouahed Gherbi E´cole de Technologie Sup´erieure, Canada
Ferhat Khendek Concordia University, Canada and Secretary
SDL Forum Society
Maria Toeroe Ericsson,Canada
Members
Reinhard Gotzhein Chairman SDL Forum Society
Martin von L¨owis Treasurer SDL Forum Society
Rick Reed Non-voting member of SDL Forum Society
Board
VIII Organization
Program Committee
Conference Chairs
Abdelouahed Gherbi E´cole de Technologie Sup´erieure, Canada
Ferhat Khendek Concordia University, Canada & Secretary
SDL Forum Society
Maria Toeroe Ericsson,Canada
Reinhard Gotzhein Chairman SDL Forum Society
Members
Daniel Amyot University of Ottawa, Canada
Rolv Bræk Norges Teknisk-Naturvitenskapelige
Universitet, Norway
Reinhard Brocks HTW Saarland, Germany
Jean-Michel Bruel Universit´e de Toulouse, France
Laurent Doldi Aeroconseil, France
Joachim Fischer Humboldt-Universit¨at zu Berlin, Germany
Pau Fonseca i Casas Universitat Polit`ecnica de Catalunya, Spain
John Fryer SAForum and OpenSAF, USA
Emmanuel Gaudin PragmaDev,France
Abdelouahed Gherbi E´cole de Technologie Sup´erieure, Canada
Reinhard Gotzhein Technische Universit¨at Kaiserslautern,
Germany
Jens Grabowski Georg-August-Universit¨atG¨ottingen,
Germany
Peter Graubmann Siemens, Germany
Øystein Haugen SINTEF, Norway
Lo¨ıc H´elou¨et INRIA Rennes, France
Peter Herrmann Norges Teknisk-Naturvitenskapelige
Universitet, Norway
Dieter Hogrefe Georg-August-Universit¨atG¨ottingen,
Germany
Ferhat Khendek Concordia University, Canada
Tae-Hyong Kim Kumoh National Institute of Technology,
Korea
Finn Kristoffensen Cinderella, Denmark
Yves Le Traon Luxembourg University, Luxembourg
Anna Medve Pannon Egyetem, Hungary
Pedro Merino Go´mez Universidad de M´alaga,Spain
Birger Møller-Pedersen Universitetet i Oslo, Norway
Os Monkewich Sympatico, Canada
Gunter Mussbacher Carleton University, Canada
Najm, Elie ENST, France
Ileana Ober Institut de Recherche en Informatique de
Toulouse, France
Organization IX
Iulian Ober Institut de Recherche en Informatique de
Toulouse, France
Andras Pataricza Budapest University of Technology and
Economics, Hungary
Dave Penkler HP, France
Dorina Petriu Carlton University, Canada
Javier Poncela Gonza´lez Universidad de M´alaga,Spain
Andreas Prinz Universitetet i Agder, Norway
Rick Reed TelecommunicationsSoftwareEngineering,UK
Laurent Rioux Thales, France
Manuel Rodr´ıguez-Cayetano Universidad de Valladolid, Spain
Richard Sanders SINTEF, Norway
Amardeo Sarma NEC Europe, Germany
Bran Selic Malina Software, Canada
Edel Sherratt Aberwrystwyth University,
Francis Tam City University of Hong Kong, Hong Kong
Peter Tr¨oger Potsdam University, Germany
Toeroe, Maria Ericsson,Canada
Martin von L¨owis Beuth-Hochschule fu¨r Technik Berlin,
Germany
Thomas Weigert Missouri University, USA
Table of Contents
Verification and Testing
Data Flow Testing in TTCN-3 with a Relational Database Schema ..... 1
Guszt´av Adamis, Antal Wu-Hen-Chang, Ga´bor A´rp´ad N´emeth,
Levente Er˝os, and Ga´bor Kova´cs
Property Verification with MSC ................................... 19
Emmanuel Gaudin and Eric Brunel
Dependability Engineering
Towards the Generation of AMF Configurations from Use Case Maps
Based Availability Requirements ................................... 36
Jameleddine Hassine and Abdelwahab Hamou-Lhadj
Modeling Early Availability Requirements Using Aspect-Oriented Use
Case Maps ...................................................... 54
Jameleddine Hassine, Gunter Mussbacher, Edna Braun, and
Mohammad Alhaj
Model-Driven Engineering for Trusted Embedded Systems
Based on Security and Dependability Patterns....................... 72
Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, and
Jon Perez
Analysis
Static Analysis Techniques to Verify Mutual Exclusion Situations
within SysML Models ............................................ 91
Ludovic Apvrille and Pierre de Saqui-Sannes
Significantly Increasing the Usability of Model Analysis Tools through
Visual Feedback ................................................. 107
El Arbi Aboussoror, Ileana Ober, and Iulian Ober
Modeling Component Erroneous Behavior and Error Propagation for
Dependability Analysis ........................................... 124
Naif A. Mokhayesh Alzahrani and Dorina C. Petriu
Domain Specific Languages
An IMS DSL Developed at Ericsson................................ 144
Pascal Potvin, Mario Bonja, Gordon Bailey, and Pierre Busnel