top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems
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
Opac: Controlla la disponibilità qui
Agent-directed simulation and systems engineering [[electronic resource] /] / Levent Yilmaz and Tuncer Ören
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
Opac: Controlla la disponibilità qui
Agent-directed simulation and systems engineering [[electronic resource] /] / Levent Yilmaz and Tuncer Ören
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
Opac: Controlla la disponibilità qui
Agent-directed simulation and systems engineering / / Levent Yilmaz and Tuncer Oren
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
Engineering of Computer-Based Systems; Proceedings: IEEE Conference and Workshops on Engineering of Computer-Based
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
Opac: Controlla la disponibilità qui
Engineering of Computer-Based Systems; Proceedings: IEEE Conference and Workshops on Engineering of Computer-Based
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
Opac: Controlla la disponibilità qui
Guide to modeling and simulation of systems of systems : user's reference / / Bernard P. Zeigler
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
Opac: Controlla la disponibilità qui
Industrial used of formal method [[electronic resource] ] : formal verification / / edited by Jean-Louis Boulanger
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
Opac: Controlla la disponibilità qui

Data di pubblicazione