Requirements Analysis

Apvrille, Ludovic and Saqui-Sannes, Pierre de Requirements Analysis. (2013) In: Embedded Systems: Analysis and Modeling with SysML, UML and AADL. (Electronic Engineering Series). ISTE / Wiley. ISBN 978-1-84821-500-9

(Document in English)

PDF ( Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
669kB

Abstract

The chapter addresses formal verification of the SysML model of the pacemaker that serves as running example throughout the book.

Item Type:	Book Section
Uncontrolled Keywords:	Modeling - SysML - Formal verification
Institution:	Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE) Other partners > Institut Eurécom (FRANCE) Other partners > Télécom Paris (FRANCE)
Laboratory name:	Laboratoire Traitement et Communication de l'Information - LTCI (Paris, France) Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France)
Statistics:	download
Deposited On:	22 Jul 2013 09:37

Repository Staff Only: item control page