Formal verification of control system software /

An essential introduction to the analysis and verification of control systems softwareThe verification of control systems software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive--the failure of controller software can cost people th...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Garoche, Pierre-Loïc, 1982- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton, New Jersey : Princeton University Press, [2019]
Colección:Princeton series in applied mathematics.
Temas:
Automatic control.
Computer software.
Software
Commande automatique.
Logiciels.
software.
TECHNOLOGY & ENGINEERING > Engineering (General)
MATHEMATICS > Applied.
Automatic control
Computer software
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Frontmatter
  • Contents
  • I. Need and Tools to Verify Critical Cyber-Physical Systems
  • 1. Critical Embedded Software: Control Software Development and V & V
  • 2. Formal Methods: Different Approaches for Verification
  • 3. Control Systems
  • II. Invariant Synthesis: Convex-optimization Based Abstract Interpretation
  • 4. Definitions-Background
  • 5. Invariants Synthesis via Convex Optimization: Postfixpoint Computation as Semialgebraic Constraints
  • 6. Template-based Analyses and Min-policy Iteration
  • III. System-level Analysis at Model and Code Level
  • 7. System-level Properties as Numerical Invariants
  • 8. Validation of System-level Properties at Code Level
  • IV. Numerical Issues
  • 9. Floating-point Semantics of Analyzed Programs
  • 10. Convex Optimization and Numerical Issues
  • Bibliography
  • Index
  • Acknowledgments

Ejemplares similares