Cargando…

Model based systems engineering : fundamentals and methods /

Annotation

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Micouin, Patrice (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London ; Hoboken, NJ : ISTE Ltd : John Wiley & Sons, Inc., 2014.
Colección:Control, systems and industrial engineering series.
Temas:
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)

MARC

LEADER 00000cam a2200000 i 4500
001 OR_ocn904769491
003 OCoLC
005 20231017213018.0
006 m o d
007 cr unu||||||||
008 150312s2014 enka ob 001 0 eng d
040 |a UMI  |b eng  |e rda  |e pn  |c UMI  |d DEBBG  |d OCLCF  |d OCLCO  |d DEBSZ  |d EBLCP  |d OCLCO  |d CEF  |d VT2  |d UAB  |d AU@  |d UKAHL  |d OCLCQ  |d VLB  |d OCLCO  |d OCLCQ 
019 |a 929525475  |a 932331358  |a 1055384097  |a 1081237787  |a 1153037369  |a 1192350316  |a 1228597548 
020 |a 9781118579596 
020 |a 1118579593 
020 |a 1848214693 
020 |a 9781848214699 
020 |z 9781848214699 
029 1 |a AU@  |b 000067094230 
029 1 |a DEBBG  |b BV042682793 
029 1 |a DEBSZ  |b 446579947 
035 |a (OCoLC)904769491  |z (OCoLC)929525475  |z (OCoLC)932331358  |z (OCoLC)1055384097  |z (OCoLC)1081237787  |z (OCoLC)1153037369  |z (OCoLC)1192350316  |z (OCoLC)1228597548 
037 |a CL0500000567  |b Safari Books Online 
050 4 |a TA168  |b .M53 2014eb 
082 0 4 |a 620.0011 
049 |a UAMI 
100 1 |a Micouin, Patrice,  |e author. 
245 1 0 |a Model based systems engineering :  |b fundamentals and methods /  |c Patrice Micouin. 
264 1 |a London ;  |a Hoboken, NJ :  |b ISTE Ltd :  |b John Wiley & Sons, Inc.,  |c 2014. 
300 |a 1 online resource (1 volume) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Control, Systems and Industrial Engineering Series 
588 0 |a Print version record. 
504 |a Includes bibliographical references and index. 
505 0 |a Title Page; Copyright; List of Figures and Tables; Acknowledgements; Foreword; Introduction: Goals of Property-Model Methodology; PART 1: Fundamentals; 1 General Systems Theory; 1.1. Introduction; 1.2. What is a system?; 1.3. Systems, subsystems and levels; 1.4. Concrete and abstract objects; 1.5. Properties; 1.6. States, event, process, behavior and fact; 1.7. Systems of interest; 2 Technological Systems; 2.1. Introduction; 2.2. Definition of technological systems; 2.3. Function, behavior and structure of a technological system 
505 8 |a 2.4. Intended and concomitant effects of a technological system2.5. Modes, mode switching and states; 2.6. Errors, faults and failures; 2.7. "The human factor"; 3 Knowledge Systems; 3.1. Introduction; 3.2. Knowledge and its bearers; 3.3. Intersubjective knowledge; 3.4. Concepts, propositions and conceptual knowledge; 3.5. Objective and true knowledge; 3.6. Scientific and technological knowledge; 3.7. Knowledge and belief; 4 Semiotic Systems and Models; 4.1. Introduction; 4.2. Signs and systems of signs; 4.3. Nomological propositions and law statements 
505 8 |a 4.4. Models, object models, theoretical models and simulation4.5. Representativeness of models and the expressiveness of languages; PART 2: Methods; 5 Engineering Processes; 5.1. Introduction; 5.2. Systems engineering process; 6 Determining Requirements and Specification MODELS; 6.1. Introduction; 6.2. Specifications and requirements; 6.3. Text-based requirements and subjectivity; 6.4. Objectifying requirements and assumptions through property-based requirements; 6.5. Conjunction and comparison of property-based requirements; 6.6. Interpreting text-based requirements 
505 8 |a 6.7. Conclusion: specification models and concurrent assertions7 Designing Solutions and Design Models; 7.1. Introduction; 7.2. Deriving requirements; 7.3. Basic system model of a type of systems; 7.4. Dynamic design models of a type of systems; 7.5. Derivation and allocation of the system's behavioral requirements; 7.6. Static design models; 7.7. Derivation and allocation of system requirements; 7.8 The end of the design process and the realization; 8 Validating Requirements and Assumptions; 8.1. Introduction; 8.2. The validation process according to the ARP4754A 
505 8 |a 8.3. The validation process according to the property model methodology8.4. Conclusion; 9 Verifying the Implementation Step by Step; 9.1. Introduction; 9.2. The verification process according to the ARP4754A; 9.3. The verification process according to the property model methodology; 9.4. Conclusion; 10 Safety Engineering; 10.1. Introduction; 10.2. The safety assessment process according to the ARP4754A; 10.3. The safety assessment process according to the property model methodology (PMM); 10.4. Conclusion; 11 Property Model Methodology Development Process; 11.1. Introduction 
520 8 |a Annotation  |b This book is a contribution to the definition of a model based system engineering (MBSE) approach, designed to meet the objectives laid out by the INCOSE. After pointing out the complexity that jeopardizes a lot of system developments, the book examines fundamental aspects of systems under consideration. It goes on to address methodological issues and proposes a methodic approach of MBSE that provides, unlike current practices, systematic and integrated model-based engineering processes. An annex describes relevant features of the VHDL-AMS language supporting the methodological issues described in the book. 
590 |a O'Reilly  |b O'Reilly Online Learning: Academic/Public Library Edition 
650 0 |a Systems engineering  |x Mathematical models. 
650 6 |a Ingénierie des systèmes  |x Modèles mathématiques. 
650 7 |a Systems engineering  |x Mathematical models.  |2 fast  |0 (OCoLC)fst01141463 
776 0 8 |i Print version:  |a Micouin, Patrice.  |t Model based systems engineering  |w (OCoLC)893678274 
830 0 |a Control, systems and industrial engineering series. 
856 4 0 |u https://learning.oreilly.com/library/view/~/9781118579596/?ar  |z Texto completo (Requiere registro previo con correo institucional) 
938 |a Askews and Holts Library Services  |b ASKH  |n AH27080320 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL4036464 
994 |a 92  |b IZTAP