101,64 €*
Verification and Validation in Systems Engineering

Verification and Validation in Systems Engineering

Assessing UML/SysML Design Models
 Previously published in hardcover
Sf Besorgungstitel | Versandkostenfrei
As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.
Architecture Frameworks, Model-Driven Architecture, and Simulation.- Unified Modeling Language.- Systems Modeling Language.- Verification, Validation, and Accreditation.- Automatic Approach for Synergistic Verification and Validation.- Software Engineering Metrics in the Context of Systems Engineering.- Verification and Validation of UML Behavioral Diagrams.- Probabilistic Model Checking of SysML Activity Diagrams.- Performance Analysis of Time-Constrained SysML Activity Diagrams.- Semantic Foundations of SysML Activity Diagrams.- Soundness of the Translation Algorithm.- Conclusion.
At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually pervading almost every aspect of modern socio-economical interactions. Consequently, the potential for realizing a signi?cantly greater number of technology-mediated activities has emerged. Indeed, many of our modern activity ?elds are heavily dependant upon various underlying systems and software-intensive platforms. Such technologies are commonly used in everyday activities such as commuting, traf?c control and m- agement, mobile computing, navigation, mobile communication. Thus, the correct function of the forenamed computing systems becomes a major concern. This is all the more important since, in spite of the numerous updates, patches and ?rmware revisions being constantly issued, newly discovered logical bugs in a wide range of modern software platforms (e. g. , operating systems) and software-intensive systems (e. g. , embedded systems) are just as frequently being reported. In addition, many of today's products and services are presently being deployed in a highly competitive environment wherein a product or service is succeeding in most of the cases thanks to its quality to price ratio for a given set of features. Accordingly, a number of critical aspects have to be considered, such as the ab- ity to pack as many features as needed in a given product or service while c- currently maintaining high quality, reasonable price, and short time -to- market.

Mehr zum Thema

    Text; system; algorithms; model checking; Performance; performance analysis; program analysis; Software Engineering; software metrics; software validation; software verification


Autor: Luay Alawneh
ISBN-13: 9783642423161
ISBN: 3642423167
Einband: Previously published in hardcover
Seiten: 276
Gewicht: 421 g
Format: 235x155x14 mm
Sprache: Englisch

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.



Autor: Luay Alawneh
ISBN-13:: 9783642423161
ISBN: 3642423167
Erscheinungsjahr: 13.11.2014
Verlag: Springer Berlin Heidelberg
Gewicht: 421g
Seiten: 276
Sprache: Englisch
Auflage 2010
Sonstiges: Taschenbuch, 235x155x14 mm