SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings PDF
Preview SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
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
Description:The list of books you might like
