Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

railway control applications

biblio

Visible to the public Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware

Submitted by grigby1 on Tue, 02/06/2018 - 1:58pm
  • safety-critical software
  • railway safety
  • railways
  • Redundancy
  • Resiliency
  • safety integrity level 4
  • safety-critical fault-tolerant middleware
  • safety-critical industries
  • safety-critical modules
  • railway control applications
  • Software Architecture
  • software fault tolerance
  • software quality
  • software quality metrics
  • TAS Control Platform
  • TLA+
  • trusted platform modules
  • formal methods
  • C code
  • C language
  • Code Generation
  • complex algorithms
  • composability
  • distributed algorithms
  • Fault tolerant systems
  • fault-tolerant distributed algorithms
  • Algorithm design and analysis
  • Formal Specification
  • formal verification
  • middleware
  • model checking
  • property-driven design
  • pubcrawl
  • rail traffic control

Terms of Use  |  ©2023. CPS-VO