2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
Soggetto topico |
Systems engineering - Data processing
System analysis - Data processing System design Computer-aided engineering Mechanical Engineering Engineering & Applied Sciences Industrial & Management Engineering |
ISBN | 0-7695-4005-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Engineering of computer-based systems |
Record Nr. | UNISA-996198456403316 |
[Place of publication not identified], : IEEE, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Agent-directed simulation and systems engineering [[electronic resource] /] / Levent Yilmaz and Tuncer Ören |
Pubbl/distr/stampa | Weinheim, : Wiley-VCH, 2009 |
Descrizione fisica | 1 online resource (551 p.) |
Disciplina | 620.00113 |
Altri autori (Persone) |
ÖrenTuncer I
YilmazLevent <1971-> |
Collana | Wiley series in systems engineering and management |
Soggetto topico |
Computer simulation
Intelligent agents (Computer software) Systems engineering - Data processing |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-38053-2
9786612380532 3-527-62778-2 3-527-62779-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Agent-Directed Simulation and Systems Engineering; Foreword; Contents; Preface; List of Contributors; Part One Background; 1 Modeling and Simulation: a Comprehensive and Integrative View; 1.1 Introduction; 1.2 Simulation: Several Perspectives; 1.2.1 Purpose of Use; 1.2.2 Problem to Be Solved; 1.2.3 Connectivity of Operations; 1.2.4 M&S as a Type of Knowledge Processing; 1.2.5 M&S from the Perspective of Philosophy of Science; 1.3 Model-Based Activities; 1.3.1 Model Building; 1.3.2 Model-Base Management; 1.3.3 Model Processing; 1.3.4 Behavior Generation
1.4 Synergies of M&S: Mutual and Higher-Order Contributions1.5 Advancement of M&S; 1.6 Preeminence of M&S; 1.6.1 Physical Tools; 1.6.2 Knowledge-Based or Soft Tools; 1.6.3 Knowledge Generation Tools; 1.7 Summary and Conclusions; 2 Autonomic Introspective Simulation Systems; 2.1 Introduction; 2.2 Perspective and Background on Autonomic Systems; 2.3 Decentralized Autonomic Simulation Systems: Prospects and Issues; 2.3.1 Motivating Scenario: Adaptive Experience Management in Distributed Mission Training; 2.3.2 An Architectural Framework for Decentralized Autonomic Simulation Systems 2.3.3 Challenges and Issues2.4 Symbiotic Adaptive Multisimulation: An Autonomic Simulation System; 2.4.1 Metamodels for Introspection Layer Design; 2.4.2 Local Adaptation: First-Order Change via Particle Swarm Optimizer; 2.4.3 The Learning Layer: Genetic Search of Potential System Configurations; 2.4.4 SAMS Component Architecture; 2.5 Case Study: UAV Search and Attack Scenario; 2.5.1 Input Factors; 2.5.2 Agent Specifications; 2.6 Validation and Preliminary Experimentation with SAMS; 2.6.1 Face Validity of the UAV Model; 2.6.2 Experiments with the Parallel SAMS Application; 2.7 Summary Part Two Agents and Modeling and Simulation3 Agents: Agenthood, Agent Architectures, and Agent Taxonomies; 3.1 Introduction; 3.2 Agenthood; 3.2.1 Defining Agents; 3.2.2 Situated Environment and Agent Society; 3.3 Agent Architectures; 3.3.1 Realizing Situatedness; 3.3.2 Realizing Autonomy; 3.3.3 Realizing Flexibility; 3.3.4 Architectures and Characteristics; 3.4 Agenthood Implications for Practical Applications; 3.4.1 Systems Engineering, Simulation, and Agents; 3.4.2 Modeling and Simulating Human Behavior for Systems Engineering; 3.4.3 Simulation-Based Testing in Systems Engineering 3.4.4 Simulation as Support for Decision Making in Systems Engineering3.4.5 Implications for Modeling and Simulation Methods; 3.5 Agent Taxonomies; 3.5.1 History and Application-Specific Taxonomies; 3.5.2 Categorizing the Agent Space; 3.6 Concluding Discussion; 4 Agent-directed Simulation; 4.1 Introduction; 4.2 Background; 4.2.1 Software Agents; 4.2.2 Complexity; 4.2.3 Complex Systems of Systems; 4.2.4 Software Agents within the Spectrum of Computational Paradigms; 4.3 Categorizing the Use of Agents in Simulation; 4.3.1 Agent Simulation; 4.3.2 Agent-Based Simulation 4.3.3 Agent-Supported Simulation |
Record Nr. | UNINA-9910139541803321 |
Weinheim, : Wiley-VCH, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Agent-directed simulation and systems engineering [[electronic resource] /] / Levent Yilmaz and Tuncer Ören |
Pubbl/distr/stampa | Weinheim, : Wiley-VCH, 2009 |
Descrizione fisica | 1 online resource (551 p.) |
Disciplina | 620.00113 |
Altri autori (Persone) |
ÖrenTuncer I
YilmazLevent <1971-> |
Collana | Wiley series in systems engineering and management |
Soggetto topico |
Computer simulation
Intelligent agents (Computer software) Systems engineering - Data processing |
ISBN |
1-282-38053-2
9786612380532 3-527-62778-2 3-527-62779-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Agent-Directed Simulation and Systems Engineering; Foreword; Contents; Preface; List of Contributors; Part One Background; 1 Modeling and Simulation: a Comprehensive and Integrative View; 1.1 Introduction; 1.2 Simulation: Several Perspectives; 1.2.1 Purpose of Use; 1.2.2 Problem to Be Solved; 1.2.3 Connectivity of Operations; 1.2.4 M&S as a Type of Knowledge Processing; 1.2.5 M&S from the Perspective of Philosophy of Science; 1.3 Model-Based Activities; 1.3.1 Model Building; 1.3.2 Model-Base Management; 1.3.3 Model Processing; 1.3.4 Behavior Generation
1.4 Synergies of M&S: Mutual and Higher-Order Contributions1.5 Advancement of M&S; 1.6 Preeminence of M&S; 1.6.1 Physical Tools; 1.6.2 Knowledge-Based or Soft Tools; 1.6.3 Knowledge Generation Tools; 1.7 Summary and Conclusions; 2 Autonomic Introspective Simulation Systems; 2.1 Introduction; 2.2 Perspective and Background on Autonomic Systems; 2.3 Decentralized Autonomic Simulation Systems: Prospects and Issues; 2.3.1 Motivating Scenario: Adaptive Experience Management in Distributed Mission Training; 2.3.2 An Architectural Framework for Decentralized Autonomic Simulation Systems 2.3.3 Challenges and Issues2.4 Symbiotic Adaptive Multisimulation: An Autonomic Simulation System; 2.4.1 Metamodels for Introspection Layer Design; 2.4.2 Local Adaptation: First-Order Change via Particle Swarm Optimizer; 2.4.3 The Learning Layer: Genetic Search of Potential System Configurations; 2.4.4 SAMS Component Architecture; 2.5 Case Study: UAV Search and Attack Scenario; 2.5.1 Input Factors; 2.5.2 Agent Specifications; 2.6 Validation and Preliminary Experimentation with SAMS; 2.6.1 Face Validity of the UAV Model; 2.6.2 Experiments with the Parallel SAMS Application; 2.7 Summary Part Two Agents and Modeling and Simulation3 Agents: Agenthood, Agent Architectures, and Agent Taxonomies; 3.1 Introduction; 3.2 Agenthood; 3.2.1 Defining Agents; 3.2.2 Situated Environment and Agent Society; 3.3 Agent Architectures; 3.3.1 Realizing Situatedness; 3.3.2 Realizing Autonomy; 3.3.3 Realizing Flexibility; 3.3.4 Architectures and Characteristics; 3.4 Agenthood Implications for Practical Applications; 3.4.1 Systems Engineering, Simulation, and Agents; 3.4.2 Modeling and Simulating Human Behavior for Systems Engineering; 3.4.3 Simulation-Based Testing in Systems Engineering 3.4.4 Simulation as Support for Decision Making in Systems Engineering3.4.5 Implications for Modeling and Simulation Methods; 3.5 Agent Taxonomies; 3.5.1 History and Application-Specific Taxonomies; 3.5.2 Categorizing the Agent Space; 3.6 Concluding Discussion; 4 Agent-directed Simulation; 4.1 Introduction; 4.2 Background; 4.2.1 Software Agents; 4.2.2 Complexity; 4.2.3 Complex Systems of Systems; 4.2.4 Software Agents within the Spectrum of Computational Paradigms; 4.3 Categorizing the Use of Agents in Simulation; 4.3.1 Agent Simulation; 4.3.2 Agent-Based Simulation 4.3.3 Agent-Supported Simulation |
Record Nr. | UNINA-9910830138603321 |
Weinheim, : Wiley-VCH, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Agent-directed simulation and systems engineering / / Levent Yilmaz and Tuncer Oren |
Pubbl/distr/stampa | Weinheim, : Wiley-VCH, 2009 |
Descrizione fisica | 1 online resource (551 p.) |
Disciplina | 620.00113 |
Altri autori (Persone) |
OrenTuncer I
YilmazLevent <1971-> |
Collana | Wiley series in systems engineering and management |
Soggetto topico |
Computer simulation
Intelligent agents (Computer software) Systems engineering - Data processing |
ISBN |
1-282-38053-2
9786612380532 3-527-62778-2 3-527-62779-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Agent-Directed Simulation and Systems Engineering; Foreword; Contents; Preface; List of Contributors; Part One Background; 1 Modeling and Simulation: a Comprehensive and Integrative View; 1.1 Introduction; 1.2 Simulation: Several Perspectives; 1.2.1 Purpose of Use; 1.2.2 Problem to Be Solved; 1.2.3 Connectivity of Operations; 1.2.4 M&S as a Type of Knowledge Processing; 1.2.5 M&S from the Perspective of Philosophy of Science; 1.3 Model-Based Activities; 1.3.1 Model Building; 1.3.2 Model-Base Management; 1.3.3 Model Processing; 1.3.4 Behavior Generation
1.4 Synergies of M&S: Mutual and Higher-Order Contributions1.5 Advancement of M&S; 1.6 Preeminence of M&S; 1.6.1 Physical Tools; 1.6.2 Knowledge-Based or Soft Tools; 1.6.3 Knowledge Generation Tools; 1.7 Summary and Conclusions; 2 Autonomic Introspective Simulation Systems; 2.1 Introduction; 2.2 Perspective and Background on Autonomic Systems; 2.3 Decentralized Autonomic Simulation Systems: Prospects and Issues; 2.3.1 Motivating Scenario: Adaptive Experience Management in Distributed Mission Training; 2.3.2 An Architectural Framework for Decentralized Autonomic Simulation Systems 2.3.3 Challenges and Issues2.4 Symbiotic Adaptive Multisimulation: An Autonomic Simulation System; 2.4.1 Metamodels for Introspection Layer Design; 2.4.2 Local Adaptation: First-Order Change via Particle Swarm Optimizer; 2.4.3 The Learning Layer: Genetic Search of Potential System Configurations; 2.4.4 SAMS Component Architecture; 2.5 Case Study: UAV Search and Attack Scenario; 2.5.1 Input Factors; 2.5.2 Agent Specifications; 2.6 Validation and Preliminary Experimentation with SAMS; 2.6.1 Face Validity of the UAV Model; 2.6.2 Experiments with the Parallel SAMS Application; 2.7 Summary Part Two Agents and Modeling and Simulation3 Agents: Agenthood, Agent Architectures, and Agent Taxonomies; 3.1 Introduction; 3.2 Agenthood; 3.2.1 Defining Agents; 3.2.2 Situated Environment and Agent Society; 3.3 Agent Architectures; 3.3.1 Realizing Situatedness; 3.3.2 Realizing Autonomy; 3.3.3 Realizing Flexibility; 3.3.4 Architectures and Characteristics; 3.4 Agenthood Implications for Practical Applications; 3.4.1 Systems Engineering, Simulation, and Agents; 3.4.2 Modeling and Simulating Human Behavior for Systems Engineering; 3.4.3 Simulation-Based Testing in Systems Engineering 3.4.4 Simulation as Support for Decision Making in Systems Engineering3.4.5 Implications for Modeling and Simulation Methods; 3.5 Agent Taxonomies; 3.5.1 History and Application-Specific Taxonomies; 3.5.2 Categorizing the Agent Space; 3.6 Concluding Discussion; 4 Agent-directed Simulation; 4.1 Introduction; 4.2 Background; 4.2.1 Software Agents; 4.2.2 Complexity; 4.2.3 Complex Systems of Systems; 4.2.4 Software Agents within the Spectrum of Computational Paradigms; 4.3 Categorizing the Use of Agents in Simulation; 4.3.1 Agent Simulation; 4.3.2 Agent-Based Simulation 4.3.3 Agent-Supported Simulation |
Record Nr. | UNINA-9910876519103321 |
Weinheim, : Wiley-VCH, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering of computer-based systems : ECBS 2007 proceedings : raising expectations of computer-based systems : 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems : March 26-29, 2007, Tucson, Arizona |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
Disciplina | 620.001/171 |
Soggetto topico |
Systems engineering - Data processing
System analysis - Data processing System design Computer-aided engineering Mechanical Engineering Industrial & Management Engineering Engineering & Applied Sciences |
ISBN | 1-5090-9061-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996202102103316 |
[Place of publication not identified], : IEEE Computer Society, 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering of computer-based systems : ECBS 2007 proceedings : raising expectations of computer-based systems : 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems : March 26-29, 2007, Tucson, Arizona |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2007 |
Disciplina | 620.001/171 |
Soggetto topico |
Systems engineering - Data processing
System analysis - Data processing System design Computer-aided engineering Mechanical Engineering Industrial & Management Engineering Engineering & Applied Sciences |
ISBN |
9781509090617
1509090614 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910142708703321 |
[Place of publication not identified], : IEEE Computer Society, 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering of Computer-Based Systems; Proceedings: IEEE Conference and Workshops on Engineering of Computer-Based |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2008 |
Soggetto topico |
Systems engineering - Data processing
System analysis - Data processing System design Computer-aided engineering Mechanical Engineering Engineering & Applied Sciences Industrial & Management Engineering |
ISBN | 1-5090-8186-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198874803316 |
[Place of publication not identified], : IEEE Computer Society Press, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering of Computer-Based Systems; Proceedings: IEEE Conference and Workshops on Engineering of Computer-Based |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2008 |
Soggetto topico |
Systems engineering - Data processing
System analysis - Data processing System design Computer-aided engineering Mechanical Engineering Engineering & Applied Sciences Industrial & Management Engineering |
ISBN |
9781509081868
1509081860 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910144956603321 |
[Place of publication not identified], : IEEE Computer Society Press, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Guide to modeling and simulation of systems of systems : user's reference / / Bernard P. Zeigler |
Autore | Zeigler Bernard P. <1940-> |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | London, : Springer, 2013 |
Descrizione fisica | 1 online resource (49 p.) |
Disciplina | 003.3 |
Collana | SpringerBriefs in computer science |
Soggetto topico |
Systems engineering - Data processing
Computer simulation |
ISBN |
1-283-74043-5
1-4471-4570-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Atomic Models List -- System Entity Structure List -- Pruning SES List -- Miscellaneous List. |
Record Nr. | UNINA-9910437580103321 |
Zeigler Bernard P. <1940-> | ||
London, : Springer, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Industrial used of formal method [[electronic resource] ] : formal verification / / edited by Jean-Louis Boulanger |
Pubbl/distr/stampa | London, : ISTE |
Descrizione fisica | 1 online resource (307 p.) |
Disciplina |
005.101
620.0042 |
Altri autori (Persone) | BoulangerJean-Louis |
Collana | ISTE |
Soggetto topico |
Systems engineering - Data processing
Computer simulation Formal methods (Computer science) Computer software - Verification Nondestructive testing |
Soggetto genere / forma | Electronic books. |
ISBN |
1-118-58784-7
1-118-56182-1 1-299-18707-2 1-118-58790-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Title; Copyright; Table of Contents; Introduction; Chapter 1. SPARK - A Language and Tool-Set for High-Integrity Software Development; 1.1. Introduction; 1.2. An overview of SPARK; 1.2.1. What is SPARK?; 1.3. The rationale behind SPARK; 1.3.1. Flow analysis; 1.3.2. Code proof; 1.3.3. Correctness by construction; 1.4. Industrial applications of SPARK; 1.4.1. SHOLIS; 1.4.2. Lockheed-Martin C-130J mission computer; 1.4.3. MULTOS CA; 1.4.4. Tokeneer; 1.4.5. Aircraft monitoring software; 1.4.6. iFACTS; 1.4.7. SPARK Skein; 1.5. Conclusion; 1.6. Bibliography
Chapter 2. Model-Based Testing Automatic Generationof Test Cases Using the Markov Chain Model2.1. Preliminaries on the test process; 2.1.1. Findings; 2.1.2. Test optimization; 2.1.3. The statistical usage test; 2.1.4. Generating test cases; 2.2. Modeling using Markov chains; 2.2.1. Origin; 2.2.2. Mathematical formalization; 2.2.3. Principles of generation; 2.2.4. Some indicators; 2.2.5. Calculating reliability; 2.3. The MaTeLo tool; 2.3.1. Engineering tests directed by models,model-based testing; 2.3.2. A chain of tools; 2.3.3. The usage model; 2.3.4. Configuration of test strategies 2.3.5. Generating test campaigns2.3.6. Analysis of the results and indicators; 2.4. Examples of industrial applications; 2.4.1. AUDI; 2.4.2. Magneti marelli; 2.4.3. Other industrial applications; 2.4.4. Industrialization of the tests; 2.5. Conclusion; 2.6. Bibliography; Chapter 3. Safety Analysis of the Embedded Systems with the AltaRica Approach; 3.1. Introduction; 3.2. Safety analysis of embedded systems; 3.3. AltaRica language and tools; 3.3.1. The AltaRica language; 3.3.2. Modeling the propagation of failures with AltaRica; 3.3.3. Tools associated with AltaRica 3.4. Examples of modeling and safety analysis3.4.1. Integrated modular avionics architecture; 3.4.2. System of electric power generation and distribution; 3.5. Comparison with other approaches; 3.5.1. Some precursors; 3.5.2. Tools for preexisting formal languages; 3.5.3. Languages for physical systems; 3.5.4. Injecting faults in nominal models; 3.6. Conclusion; 3.6.1. An approach to assess the safetyof systems tested in aeronautics; 3.6.2. Clarification of the system architectureand horizontal exploration of the failure propagation:impacts on the scope of analyses 3.6.3. Clarification of the nominal system characteristics:impacts on the generic definitions of the failure modes3.6.4. Compositional models of failure propagation:impacts on the overall safety process; 3.7. Special thanks; 3.8. Bibliography; Chapter 4. Polyspace®; 4.1. Overview; 4.2. Introduction to software quality and verification procedures; 4.3. Static analysis; 4.4. Dynamic tests; 4.5. Abstract interpretation; 4.6. Code verification; 4.7. Robustness verification or contextual verification; 4.7.1. Robustness verification; 4.7.2. Contextual verification 4.8. Examples of Polyspace® results |
Record Nr. | UNINA-9910141475603321 |
London, : ISTE | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|