+353-1-416-8900REST OF WORLD
+44-20-3973-8888REST OF WORLD
1-917-300-0470EAST COAST U.S
1-800-526-8630U.S. (TOLL FREE)

SysML in Action with Papyrus

  • Book

  • 250 Pages
  • December 2018
  • Elsevier Science and Technology
  • ID: 4288457

SysML in Action with Papyrus uses practical examples and the open source Papyrus modeler to explore requirements, validation and the classical V cycle. The book presents a generic approach that is fully suitable to SysML, applying major system engineering principles and standards. As embedded systems are now so complex that specifying, implementing and validating requirements can no longer be expressed using only textual descriptions, this book provides a timely resource. A number of alternate notations, according to industry constraints and habits, are available. Among them one standard from the OMG: SysML.



  • Presents a realistic, simplified, and useful guide for professionals (no ATM or traffic lights)
  • Explores everything from requirements, to validation and the classical V cycle
  • Utilizes a generic approach that is fully suitable to SysML, allowing users to apply major system engineering principles and standards
  • Helps users learn to make their own model by transcribing their needs and taking advantage of the tool features
  • Conserves time by using recommended workarounds to develop custom processes for this tool

Table of Contents

1. SysML notation for the OMG Systems Engineering
2. About Papyrus
3. Definition of stakeholder needs
4. Requirements Analysis
5. Logic Achitecture Design
6. Physical Architecture Design
7. Conclusion

Authors

Bruel, Jean-Michel Jean-Michel Bruel received his Ph.D. from the University Paul Sabatier (Toulouse) in December 1996. He was associate professor at the University of Pau from 1997 to 2008. Currently Full Professor in the MACAO team of the IRIT (Institit de Recheche en Informatique de Toulouse) CNRS laboratory. His research areas include development of distributed, component-based applications, methods integration, and on the use of formal methods in the Component-Based Software Engineering context. Gerard, Sebastien Sebastien Gerard is a CEA LIST senior researcher in software engineering and computer science. He graduated in 1995 from ENSMA (the Superior School of Mechanics and Aeronautics in Poitiers, France) as a mechanical and aeronautics engineer, after which he obtained a doctorate in computer science in 2000. He is currently leading a research team of about 20 engineers at CEA LIST (an arm of the French Atomic Energy Agency, http://www-list.cea.fr/gb/index_gb.htm) within the LISE (Laboratory for Model-based Engineering of real-time and embedded (RT/E) systems). The principal objective of this research of this team is to achieve "correct-by-construction” design of RT/E systems from requirements to implementation”. Through his involvement in a numerous national and international research projects, Dr. Sebastien Gerard has worked with many industrial partners such as Peugeot Citroen, Airbus, ST Microelectronics, EADS, gaining extensive experience and insight into industrial problems and requirements. Dr. Sébastien Gérard is also deeply involved in various standardization activities, and is currently co-chairing both the UML 2 and MARTE (the UML extension for RT/E) standardization task forces. He is also core member of the European network of excellence, ArtistDesign (http://www.artist-embedded.org), where he is a prime on issues related to modeling and standardization. In addition, Dr. Sébastien Gérard is a member of the editorial board of the SoSyM journal, co-founder of the summer school on model-based development for DRES (http://www.mdd4dres.info) and a frequent member of program committees of major technical and scientific conferences (MODELS, ECRTS, ISORC, etc.).