Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013 PDF
Preview Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013
Lecture Notes in Electrical Engineering 311 Marie-Minerve Louërat Torsten Maehne Editors Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 Lecture Notes in Electrical Engineering Volume 311 Board of Series editors Leopoldo Angrisani, Napoli, Italy Marco Arteaga, Coyoacán, México Samarjit Chakraborty, München, Germany Jiming Chen, Hangzhou, P.R. China Tan Kay Chen, Singapore, Singapore Rüdiger Dillmann, Karlsruhe, Germany Haibin Puan, Beijing, China Gianluigi Ferrari, Parma, Italy Manuel Ferre, Madrid, Spain Sandra Hirche, München, Germany Faryar Jabbari, Irvine, USA Janusz Kacprzyk, Warsaw, Poland Alaa Khamis, New Cairo City, Egypt Torsten Kroeger, Stanford, USA Tan Cher Ming, Singapore, Singapore Wolfgang Minker, Ulm, Germany Pradeep Misra, Dayton, USA Sebastian Möller, Berlin, Germany Subhas Mukhopadyay, Palmerston, New Zealand Cun-Zheng Ning, Tempe, USA Toyoaki Nishida, Sakyo-ku, Japan Federica Pascucci, Roma, Italy Tariq Samad, Minneapolis, USA Gan Woon Seng, Nanyang Avenue, Singapore Germano Veiga, Porto, Portugal Haitao Wu, Beijing, China Junjie James Zhang, Charlotte, USA About this Series ‘‘Lecture Notes in Electrical Engineering (LNEE)’’is a book series which reports the latest research and developments in Electrical Engineering, namely: • Communication, Networks, and Information Theory • Computer Engineering • Signal, Image, Speech and Information Processing • Circuits and Systems • Bioengineering LNEE publishes authored monographs and contributed volumes which present cutting edge research information as well as new perspectives on classical fields, while maintaining Springer’s high standards of academic excellence. Also con- sidered for publication are lecture materials, proceedings, and other related materials of exceptionally high quality and interest. The subject matter should be original and timely, reporting the latest research and developments in all areas of electrical engineering. The audience for the books in LNEE consists of advanced level students, researchers, and industry professionals working at the forefront of their fields. MuchlikeSpringer’sotherLectureNotesseries,LNEEwillbedistributedthrough Springer’s print and electronic publishing channels. More information about this series at http://www.springer.com/series/7818 Marie-Minerve Louërat Torsten Maehne • Editors Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2013 123 Editors Marie-Minerve Louërat Torsten Maehne Sorbonne Universités UMR 7606,LIP6 Paris France and CNRS UMR 7606,LIP6 Paris France ISSN 1876-1100 ISSN 1876-1119 (electronic) ISBN 978-3-319-06316-4 ISBN 978-3-319-06317-1 (eBook) DOI 10.1007/978-3-319-06317-1 LibraryofCongressControlNumber:2014945351 SpringerChamHeidelbergNewYorkDordrechtLondon (cid:2)SpringerInternationalPublishingSwitzerland2015 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionor informationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purposeofbeingenteredandexecutedonacomputersystem,forexclusiveusebythepurchaserofthe work. Duplication of this publication or parts thereof is permitted only under the provisions of theCopyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the CopyrightClearanceCenter.ViolationsareliabletoprosecutionundertherespectiveCopyrightLaw. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexempt fromtherelevantprotectivelawsandregulationsandthereforefreeforgeneraluse. While the advice and information in this book are believed to be true and accurate at the date of publication,neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityfor anyerrorsoromissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,with respecttothematerialcontainedherein. Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) To Serge Scotti and all our other colleagues from the SoC research community. Preface This book in the Lecture Notes in Electrical Engineering (LNEE) series presents the most innovative contributions to the Forum on specification and Design Lan- guages(FDL)2013,whichtookplaceinSeptember2013attheUniversitéPierreet MarieCurie(UPMC),Paris,France.Thesecontributionswereselectedbyleading expertsfromresearchandindustry.Theirauthorsimprovedtheoriginallypresented work based on the feedback received during the conferenceand recent results. Theincreasingintegrationandcomplexityofelectronicsystemdesignrequires a constant evolution of the used languages and associated design methods and tools. The FDL is a well-established international forum devoted to the dissemi- nation of research results, practical experiences, and new ideas in this domain. Addressedareinparticulartheapplicationofspecification,design,andverification languagestothemodeling,design,andverificationofintegratedcircuits,complex hardware/software embedded systems, and mixed-technology systems. The thus made possible new modeling and specification concepts push the development of new design and verification methodologies to the system level thus providing means for model-driven design of complex information processing systems in a variety of application domains. This book presents the newest results in five thematic areas: Part I ‘‘Applications of Formal Methods for Specification and Verification’’: The efficientdesignspace explorationand system verificationcallsfor the use offormalmethodstoraisetheconfidenceinthetakendesigndecisionsandthus accelerate the time to market. Chapter 1 tackles energy component selection and proposes a heuristic algorithm to solve this NP-hard problem. Chapter 2 presents a refinement-based design approach for Systems-on-Chip, supported by model checking technology. PartII‘‘EmbeddedAnalogandMixed-SignalSystemVerification’’:Tacklingthis task with classic approaches based on SPICE simulation and visual waveform vii viii Preface inspection has reached its limits with today’s more and more complex AMS systems.Whilewaitingforamuchanticipatedrevolutioninthisfield,assertion- based approaches are very promising. Two are presented inChaps. 3 and4. PartIII‘‘EmbeddedAnalogandMixed-SignalSystemDesign’’:Efficientmodeling andsimulationapproachesforanalogandmixed-signalsystemsareattheheart of the design process. Chapter 5 proposes a model to describe the nonlinear behavior of memresistors and presents its implementation in VHDL-AMS. Chapter 6 presents a way to generate homogeneous (SystemC AMS or C++) codeforheterogeneoussystemsbyusingaformalintermediaterepresentation. Part IV ‘‘Digital Hardware/Software Embedded System Design’’: SystemC needs to continuously evolve through core library extensions and new methodology- specificlibrariestooffermodelingcapabilitiesandsimulationperformancethat keep up with the user needs. Chapter 7 proposes the concept of combining SystemC eventswith TLM transactionsso as tosimplifyand systematize syn- chronizationinTLMmodels.Chapter8showshowpredictableplatformscanbe characterized to forma basis for virtual prototyping ofreal-time systems. Efficient simulation, static analysis, and model transformation are key tech- niques to enable design validation and design space exploration. Chapter 9 combinessimulationwithanalyticaltechniquestoprovideestimatesthatguide thedesignspaceexplorationofreal-timesystems.Chapter10introducesmodel transformations and validation methods that open an automated path from algorithm design to ESL design. Chapter 11 supports software allocation in networked automotive system platforms. Chapter 12 shows a method for switching between models of different abstraction levels and its application to trade-off speed and accuracy innetwork-on-chip simulation. PartV‘‘Model-DrivenEngineeringforEmbeddedSystemsDesign’’:Theincreasing complexityofembedded software requires the applicationofmodern software engineering approaches like model-based software development enabled by standardmodelinglanguagesandassociatedtools.Chapter13presentstheuseof MARTEanditsreal-timemodesspecificationforthedevelopmentofcross-layer self-adaptivereal-timeembeddedsystems.Chapter14investigatesthedifficult taskofdesignspaceexplorationfortheallocationofUMLcompositestructures inthemodelingofdistributedsystems.Chapter15explorestheuseofMARTE on an autonomous robot use case for the application of MAST schedulability analysistoolsformodel-basedperformanceanalysis. The2013editionofFDLwasorganizedbyECSIintechnicalcooperationwith theIEEECouncilonElectronicDesignAutomation(CEDA),theFrenchchapters of the IEEE Computer Society (CS) and IEEE Circuit and System Society (CAS) as well as the International Federation for Information Processing (IFIP). We would like to thank the large number of contributors to FDL 2013: the authors of Preface ix the submitted papers as well as the 62 members of the technical program com- mittee.Wewouldliketoacknowledgetheorganizationalsupportprovidedbyour colleagues from the Laboratoire d’Informatique de Paris 6 (LIP6), the Université Pierre et Marie Curie (UPMC), and the Centre National de la Recherche Scien- tifique(CNRS),inparticularRoselyneChotin-Avot.WewouldliketothankAdam Morawiec and Jinnie Hinderscheit from ECSI for their administrative support. Paris, May 2014 Marie-Minerve Louërat Torsten Maehne Contents Part I Applications of Formal Methods for Specification and Verification 1 Optimal Component Selection for Energy-Efficient Systems. . . . . 3 Matthias Sauppe, Thomas Horn, Erik Markert, Ulrich Heinkel, Hans-Werner Sahm and Klaus-Holger Otto 2 Assisting Refinement in System-on-Chip Design. . . . . . . . . . . . . . 21 Hocine Mokrani, Rabéa Ameur-Boulifa and Emmanuelle Encrenaz-Tiphene Part II Embedded Analog and Mixed-Signal System Verification 3 A New Assertion Property Language for Analog/Mixed-Signal Circuits . . . . . . . . . . . . . . . . . . . . . . . . 45 Andrew N. Fisher, Dhanashree Kulkarni and Chris J. Myers 4 Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits. . . . . . . . . . . . . . . . 67 Dogan Ulus, Alper Sen and Faik Baskaya Part III Embedded Analog and Mixed-Signal System Design 5 Hybrid Dynamical Systems for Memristor Modelling . . . . . . . . . 87 Joachim Haase and André Lange xi
The list of books you might like
