Physical and digital books, media, journals, archives, and databases.
Results include
  1. Composition of Embedded Systems

    Kordon, Fabrice
    Berlin : Springer, 2008.

    This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006.The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions for inclusion in the book. The workshop discussed a range of challenges in embedded systems design that require further major advances in software and systems composition technology. The papers are organized in topical sections on model driven development and embedded systems, software engineering for embedded systems, and composition technologies.This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. The workshop discussed a range of challenges in embedded systems design that require further major advances in technology.

    Online Ebook Central

  2. Embedded systems [electronic resource] : analysis and modeling with SysML, UML and AADL

    London : ISTE ; Hoboken, NJ : Wiley, 2013.

    Since the construction of the first embedded system in the1960s, embedded systems have continued to spread. They provide acontinually increasing number of services and are part of our dailylife. The development of these systems is a difficult problem whichdoes not yet have a global solution. Another difficulty is thatsystems are plunged into the real world, which is not discrete (asis generally understood in computing), but has a richness ofbehaviors which sometimes hinders the formulation of simplifyingassumptions due to their generally autonomous nature and they mustface possibly unforeseen situations (incidents, for example), oreven situations that lie outside the initial designassumptions. Embedded Systems presents the state of the art of the developmentof embedded systems and, in particular, concentrates on themodeling and analysis of these systems by looking at model-driven engineering , (MDE2): SysML, UML/MARTEand AADL. A case study (based on a pacemaker) is presented whichenables the reader to observe how the different aspects of a systemare addressed using the different approaches. All three systems areimportant in that they provide the reader with a global view oftheir possibilities and demonstrate the contributions of eachapproach in the different stages of the software lifecycle.Chapters dedicated to analyzing the specification and codegeneration are also presented. Contents Foreword, Brian R. Larson. Foreword, Dominique Potier. Introduction, Fabrice Kordon, Jerome Hugues, AgustiCanals and Alain Dohet. Part 1. General Concepts 1. Elements for the Design of Embedded Computer Systems, FabriceKordon, Jerome Hugues, Agusti Canals and AlainDohet. 2. Case Study: Pacemaker, Fabrice Kordon, Jerome Hugues, Agusti Canals and Alain Dohet. Part 2. SysML 3. Presentation of SysML Concepts, Jean-Michel Bruel and PascalRoques. 4. Modeling of the Case Study Using SysML, Loic Fejoz, Philippe Leblanc and Agusti Canals. 5. Requirements Analysis, Ludovic Apvrille and Pierre DeSaqui-Sannes. Part 3. MARTE 6. An Introduction to MARTE Concepts, Sebastien Gerardand Francois Terrier. 7. Case Study Modeling Using MARTE, Jerome Delatour andJoel Champeau. 8. Model-Based Analysis, Frederic Boniol, Philippe Dhaussy, Luka LeRoux and Jean-Charles Roger. 9. Model-Based Deployment and Code Generation, Chokri Mraidha, Ansgar Radermacher and Sebastien Gerard. Part 4. AADL 10. Presentation of the AADL Concepts, Jerome Hugues andXavier Renault. 11. Case Study Modeling Using AADL, Etienne Borde. 12. Model-Based Analysis, Thomas Robert and JeromeHugues. 13. Model-Based Code Generation, Laurent Pautet and BechirZalila. About the Authors Fabrice Kordon is Professor at University Pierre and Marie Curiein Paris, France, where he is in charge of the team Modelisation et verification of the LIP6.His research field is at the crossroads of distributed systems, software engineering and formal methods. Jerome Hugues is lecturer-researcher at the InstitutSuperieur de l Aeronautique et de l Espace(ISAE) in Toulouse, France and has been a member of the languagestandardization committee (AADL) since 2006. His research fieldscover the engineering of embedded systems and the generation ofautomatic code of these systems from modeling languages, integrating verification and analysis tools on the model and codelevel. Agusti Canals is a software engineer and has worked at CS Communication et Systemes in Paris, France since1981. He is deputy director of the Direction de laQualite et des Audits Techniques (DQAT) of CS and anexpert in software engineering (certified UMLProfessional and SysML Builder by OMG). Alain Dohet is a general armament engineer at the DirectionGenerale pour l Armement (organization ofthe French Defense Minister ensuring the conduct of systemprograms), where he is in charge of guiding activities, skills, methods and tools in the fields of systems of systems (SoS), systems engineering, analysis for certification purposes, operational safety of embedded computing systems and criticalsoftware.

    Online Wiley Online Library

  3. Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

    Switzerland : Springer, 2016.

    This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016. The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions. Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume.

    Online SpringerLink

Guides

Course- and topic-based guides to collections, tools, and services.
No guide results found... Try a different search

Library website

Library info; guides & content by subject specialists
No website results found... Try a different search

Exhibits

Digital showcases for research and teaching.
No exhibits results found... Try a different search

EarthWorks

Geospatial content, including GIS datasets, digitized maps, and census data.
No earthworks results found... Try a different search

More search tools

Tools to help you discover resources at Stanford and beyond.