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.
Formal Methods for Industrial Critical Systems [[electronic resource] ] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / / edited by Mariëlle Stoelinga, Ralf Pinger
| Formal Methods for Industrial Critical Systems [[electronic resource] ] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / / edited by Mariëlle Stoelinga, Ralf Pinger |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 223 p. 87 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Special purpose computers Application software Computers Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer Appl. in Administrative Data Processing Computation by Abstract Devices |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-32469-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Real-Time Specification Patterns and Tools -- Automated Extraction of Abstract Behavioural Models from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.- Waiting for Locks: How Long Does It Usually Take? -- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.- Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs -- Range Analysis of Binaries with Minimal Effort -- Combining Analyses for C Program Verification -- Model Checking the FlexRay Startup Phase -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations -- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.- Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems -- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java -- Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. . |
| Record Nr. | UNISA-996465309303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [[electronic resource] ] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / / edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
| Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [[electronic resource] ] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / / edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 255 p. 55 illus.) |
| Disciplina | 625.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer communication systems Computer security Mathematical logic Artificial intelligence Software Engineering Logics and Meanings of Programs Computer Communication Networks Systems and Data Security Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-319-33951-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned -- Using Formal Proof and B Method at System Level for Industrial Projects -- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers -- A Formal Security Analysis of ERTMS Train to Trackside Protocols -- Operational Security – A Coming Evolution of Railway Operational Procedures under the IT Security Threat -- Risk Assessment of the 3Des in the ERTMS -- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking -- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods -- Static Verification of Railway Scheme and Interlocking Design Data -- Verification of Railway Interlocking – Compositional Approach with OCRA -- Safety Verification of Heterogeneous Railway Networks -- Comparing Formal Verification Approaches of Interlocking Systems -- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems -- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements -- The PERF Approach for Formal Verification -- Abstract Software Specifications and Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo. |
| Record Nr. | UNISA-996465699703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / / edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky
| Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / / edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 255 p. 55 illus.) |
| Disciplina | 625.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer science Computer networks Data protection Machine theory Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks Data and Information Security Formal Languages and Automata Theory Artificial Intelligence |
| ISBN | 3-319-33951-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned -- Using Formal Proof and B Method at System Level for Industrial Projects -- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers -- A Formal Security Analysis of ERTMS Train to Trackside Protocols -- Operational Security – A Coming Evolution of Railway Operational Procedures under the IT Security Threat -- Risk Assessment of the 3Des in the ERTMS -- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking -- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods -- Static Verification of Railway Scheme and Interlocking Design Data -- Verification of Railway Interlocking – Compositional Approach with OCRA -- Safety Verification of Heterogeneous Railway Networks -- Comparing Formal Verification Approaches of Interlocking Systems -- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems -- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements -- The PERF Approach for Formal Verification -- Abstract Software Specifications and Automatic Proof of Refinement -- S3: Proving the Safety of Critical Systems -- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo. |
| Record Nr. | UNINA-9910483562503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||