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.
Advances in Aeronautical Informatics : Technologies Towards Flight 4.0 / / edited by Umut Durak, Jürgen Becker, Sven Hartmann, Nikolaos S. Voros
| Advances in Aeronautical Informatics : Technologies Towards Flight 4.0 / / edited by Umut Durak, Jürgen Becker, Sven Hartmann, Nikolaos S. Voros |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 156 p. 42 illus., 35 illus. in color.) |
| Disciplina | 004.6 |
| Soggetto topico |
Computer communication systems
Aerospace engineering Astronautics Application software Artificial intelligence Big data Computer Communication Networks Aerospace Technology and Astronautics Information Systems Applications (incl. Internet) Artificial Intelligence Big Data/Analytics |
| ISBN | 3-319-75058-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Introduction -- Chapter 1. Flight 4.0: The Changing Technology Landscape of Aeronautics (Umut Durak) -- Part II: Information and Communication Technologies supporting Flight 4.0 -- Chapter 2. Advances in Avionic Platforms: Multi-Core Systems (Falco K. Bapp) -- Chapter 3. Emerging Trends in Avionics Networking (Andreas Reinhardt) -- Chapter 4. IoT and Service Oriented Infrastructures for Flight 4.0 (Christos P. Antonopoulos) -- Chapter 5. Big Data and Data Analytics in Aeronautics (Gerrit Burmester) -- Chapter 6. Ontologies in Aeronautics (Carlos Insaurralde) -- Chapter 7. Advances in Software Engineering and Aeronautics (Shafagh Jafer) -- Part III: The Challenges -- Chapter 8. Towards Autonomy and Safety For Unmanned Aircraft Systems (Christoph Torens) -- Chapter 9. Keeping up with Real Time (Reinhard Wilhelm) -- Chapter 10. Aerospace Engineering Curricular Expansion in Information Systems (Ella M. Atkins). |
| Record Nr. | UNINA-9910299277003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
DevOps for airborne software : exploring modern approaches / / Wanja Zaeske, Umut Durak
| DevOps for airborne software : exploring modern approaches / / Wanja Zaeske, Umut Durak |
| Autore | Zaeske Wanja |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (67 pages) |
| Disciplina | 629.10113 |
| Collana | SpringerBriefs in computer science |
| Soggetto topico |
Aeronautics - Computer programs
Computer software Computer software - Development |
| ISBN | 3-030-97579-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Preface -- Contents -- Acronyms -- 1 Introduction -- 1.1 Issues in Airborne Development -- 1.2 From Agile to DevOps -- 1.3 Constraints in Avionic Software Engineering -- 1.4 Structure -- References -- 2 Background -- 2.1 Certification in Avionics: DO-178 -- 2.2 Version Control with Git -- 2.3 Rust, a Modern Systems Programming Language -- 2.4 Test-Driven Development -- 2.5 Automation in DevOps -- 2.5.1 Continuous Integration -- 2.5.2 Continuous Delivery -- 2.5.3 Continuous Deployment -- 2.6 Behavior-Driven Development -- 2.7 Embedded Virtualization -- 2.7.1 Virtualization in Avionics -- 2.7.2 XtratuM Next Generation -- 2.8 Nix and Hydra -- 2.9 RTLola -- References -- 3 Approach -- 3.1 Development -- 3.1.1 Avoiding Errors -- 3.1.2 Requirements from Plan to Verification -- 3.1.3 Unifying Build System and Package Manager -- 3.2 Operation -- 3.2.1 Operating Product and Toolchain -- 3.2.2 Monitoring the Product -- 3.2.3 Closing the Feedback Loop -- 3.3 Summary -- References -- 4 Demonstrator and Evaluation -- 4.1 TAWS and openTAWS -- 4.2 Enhancing Hypervisor Partitions with Rust -- 4.3 Streamlining the Requirements Engineering with BDD -- 4.4 Continuous Integration -- 4.4.1 GitHub Actions -- 4.4.2 Nix and Hydra -- 4.5 Monitoring with RTLola -- References -- 5 Outlook and Conclusion -- 5.1 Outlook -- 5.1.1 Modify Setup for Full XNG Compatibility -- 5.1.2 Allow for Code Coverage Analysis -- 5.1.3 RTLola and Rust for Resilience -- 5.1.4 Online Monitoring for Software Planning -- 5.1.5 Operating Development Grade Products in Real Aircraft -- 5.1.6 Shortcomings of Nix -- 5.1.7 Fulfilling More DO-178 Objectives -- 5.2 Conclusion -- References. |
| Record Nr. | UNISA-996483159603316 |
Zaeske Wanja
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
DevOps for airborne software : exploring modern approaches / / Wanja Zaeske, Umut Durak
| DevOps for airborne software : exploring modern approaches / / Wanja Zaeske, Umut Durak |
| Autore | Zaeske Wanja |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (67 pages) |
| Disciplina | 629.10113 |
| Collana | SpringerBriefs in computer science |
| Soggetto topico |
Aeronautics - Computer programs
Computer software Computer software - Development |
| ISBN | 3-030-97579-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Preface -- Contents -- Acronyms -- 1 Introduction -- 1.1 Issues in Airborne Development -- 1.2 From Agile to DevOps -- 1.3 Constraints in Avionic Software Engineering -- 1.4 Structure -- References -- 2 Background -- 2.1 Certification in Avionics: DO-178 -- 2.2 Version Control with Git -- 2.3 Rust, a Modern Systems Programming Language -- 2.4 Test-Driven Development -- 2.5 Automation in DevOps -- 2.5.1 Continuous Integration -- 2.5.2 Continuous Delivery -- 2.5.3 Continuous Deployment -- 2.6 Behavior-Driven Development -- 2.7 Embedded Virtualization -- 2.7.1 Virtualization in Avionics -- 2.7.2 XtratuM Next Generation -- 2.8 Nix and Hydra -- 2.9 RTLola -- References -- 3 Approach -- 3.1 Development -- 3.1.1 Avoiding Errors -- 3.1.2 Requirements from Plan to Verification -- 3.1.3 Unifying Build System and Package Manager -- 3.2 Operation -- 3.2.1 Operating Product and Toolchain -- 3.2.2 Monitoring the Product -- 3.2.3 Closing the Feedback Loop -- 3.3 Summary -- References -- 4 Demonstrator and Evaluation -- 4.1 TAWS and openTAWS -- 4.2 Enhancing Hypervisor Partitions with Rust -- 4.3 Streamlining the Requirements Engineering with BDD -- 4.4 Continuous Integration -- 4.4.1 GitHub Actions -- 4.4.2 Nix and Hydra -- 4.5 Monitoring with RTLola -- References -- 5 Outlook and Conclusion -- 5.1 Outlook -- 5.1.1 Modify Setup for Full XNG Compatibility -- 5.1.2 Allow for Code Coverage Analysis -- 5.1.3 RTLola and Rust for Resilience -- 5.1.4 Online Monitoring for Software Planning -- 5.1.5 Operating Development Grade Products in Real Aircraft -- 5.1.6 Shortcomings of Nix -- 5.1.7 Fulfilling More DO-178 Objectives -- 5.2 Conclusion -- References. |
| Record Nr. | UNINA-9910585771303321 |
|
Zaeske Wanja
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Distributed Simulation : A Model Driven Engineering Approach / / by Okan Topçu, Umut Durak, Halit Oğuztüzün, Levent Yilmaz
| Distributed Simulation : A Model Driven Engineering Approach / / by Okan Topçu, Umut Durak, Halit Oğuztüzün, Levent Yilmaz |
| Autore | Topçu Okan |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 003.3 |
| Collana | Simulation Foundations, Methods and Applications |
| Soggetto topico |
Computer simulation
Software engineering Computers Microprocessors Simulation and Modeling Software Engineering Models and Principles Processor Architectures |
| ISBN | 3-319-03050-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Foundations -- Introduction -- Model Driven Engineering -- High Level Architecture -- Part II: Development Process -- Process Models -- Part III: Modeling and Design -- Conceptual Modeling -- Federation Architecture: Simulation Environment Design -- Federate Architecture: Simulation Member Design -- Scenario Management -- Part IV: Implementation and Execution -- Implementation, Integration and Testing -- Simulation Evolution and Modernization -- Part V: Future Outlook -- Synergies of MDE, Simulation, and Agent Technology. |
| Record Nr. | UNINA-9910255009203321 |
|
Topçu Okan
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Guide to Simulation-Based Disciplines : Advancing Our Computational Future / / edited by Saurabh Mittal, Umut Durak, Tuncer Ören
| Guide to Simulation-Based Disciplines : Advancing Our Computational Future / / edited by Saurabh Mittal, Umut Durak, Tuncer Ören |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIX, 370 p. 86 illus., 57 illus. in color.) |
| Disciplina | 003.3 |
| Collana | Simulation Foundations, Methods and Applications |
| Soggetto topico |
Computer simulation
Social sciences - Data processing Engineering design Bioinformatics Computer Modelling Computer Application in Social and Behavioral Sciences Engineering Design Computational and Systems Biology |
| ISBN | 3-319-61264-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Background -- The Evolution of Simulation and its Contributions to Many Disciplines -- The Modeling and Simulation (M&S) Technology Landscape -- Part II: Engineering and Architecture -- Simulation-Based Engineering -- Simulation-Based Systems Engineering -- Simulation-Based Cyber-Physical Systems and the Internet of Things -- Simulation-Based Complex Adaptive Systems -- Simulation-Based Software Engineering -- Simulation-Based Architecture -- Part III: Natural Sciences -- Simulation-Based Science: Toward Cognitive Generative Architectures for Simulation-Driven Discovery -- Systems Design, Modeling and Simulation in Medicine -- Part IV: Social Sciences and Management -- Flipping Coins and Coding Turtles: The Evolution of M&S in the Social Sciences -- Simulation-Based Enterprise Management: Model Driven from Business Process to Simulation -- Part V: Learning, Education and Training -- Simulation-Based Learning and Education -- Simulation-Based Military Training -- Epilogue. |
| Record Nr. | UNINA-9910254810403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mod4Sim 2017 : Model-driven Approaches for Simulation Engineering : 2017 Spring Simulation Multi-Conference (SpringSim '17) : Virginia Beach, VA, USA, 23-26 April 2017 / / edited by Andrea D'Ambrogio, Umut Durak, Deniz Çetinkaya
| Mod4Sim 2017 : Model-driven Approaches for Simulation Engineering : 2017 Spring Simulation Multi-Conference (SpringSim '17) : Virginia Beach, VA, USA, 23-26 April 2017 / / edited by Andrea D'Ambrogio, Umut Durak, Deniz Çetinkaya |
| Pubbl/distr/stampa | San Diego, California : , : Society for Computer Simulation International, , 2017 |
| Descrizione fisica | 1 online resource (142 pages) |
| Disciplina | 620.001171 |
| Soggetto topico |
Systems engineering - Mathematical models
Systems engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375849803321 |
| San Diego, California : , : Society for Computer Simulation International, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-driven Approaches for Simulation Engineering (Mod4Sim 2018) : 2018 Spring Simulation Multiconference (SpringSim-Mod4Sim'18) : Baltimore, MD, USA, 15-18, April 2018 / / Andrea D'Ambrogio, Umut Durak, editors ; Association for Computing Machinery-Digital Library, contributor
| Model-driven Approaches for Simulation Engineering (Mod4Sim 2018) : 2018 Spring Simulation Multiconference (SpringSim-Mod4Sim'18) : Baltimore, MD, USA, 15-18, April 2018 / / Andrea D'Ambrogio, Umut Durak, editors ; Association for Computing Machinery-Digital Library, contributor |
| Pubbl/distr/stampa | San Diego CA : , : Society for Computer Simulation International, , 2018 |
| Descrizione fisica | 1 online resource (148 pages) : illustrations |
| Disciplina | 005.1 |
| Collana | Simulation series |
| Soggetto topico |
Model-driven software architecture
Systems engineering - Simulation methods |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375973603321 |
| San Diego CA : , : Society for Computer Simulation International, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Summer of Simulation : 50 Years of Seminal Computer Simulation Research / / edited by John Sokolowski, Umut Durak, Navonil Mustafee, Andreas Tolk
| Summer of Simulation : 50 Years of Seminal Computer Simulation Research / / edited by John Sokolowski, Umut Durak, Navonil Mustafee, Andreas Tolk |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (286 pages) |
| Disciplina |
003.3072
003.3 |
| Collana | Simulation Foundations, Methods and Applications |
| Soggetto topico |
Computer simulation
Mathematical models Engineering mathematics Engineering - Data processing Mathematical physics Computer-aided engineering Computer Modelling Mathematical Modeling and Industrial Mathematics Mathematical and Computational Engineering Applications Theoretical, Mathematical and Computational Physics Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-030-17164-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Summer of Simulation: An Introduction -- Chapter 2. 50 Summers of Computer Simulation -- Chapter 3. How Theory and Abstraction Drive Progress in Simulation Science and Practice -- Chapter 4. High-speed, Low-cost Simulation of Power Electronic Systems – a 50+ Year Collaboration -- Chapter 5. Over Fifty Years of My Involvement in Simulation -- Chapter 6. Limitations and Usefulness of Computer Simulations for Complex Adaptive Systems Research -- Chapter 7. Cloud Based Simulation -- Chapter 8. Advanced Discrete-Event Cellular Modeling and Simulation -- Chapter 9. A Profile Study of the Summer Computer Simulation Conference -- Chapter 10. New Frontiers in Modeling and Simulation in Complex Systems Engineering: The Case of Synthetic Emergence -- Chapter 11. An Introduction to Pedestrian Modeling Using Spatial Discrete-Event Modeling and Simulation -- Chapter 12. Using Agnet-Based Modeling to Assess Liquidity Mismatch in Open-End Bond Funds -- Chapter 13. A Partially-Grounded Agent Based Model on Demonetisation Outcomes in India. |
| Record Nr. | UNINA-9910337835603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||