Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005070947> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2005070947 abstract "Driven by the high maintenance and repair cost, low operation efficiency and unsatisfactory safety level of the current railway systems, the autonomous perception and radio-based railway signalling systems are attracting world's attention. In development of these systems, a severe challenge is guaranteeing the software reliability. In this paper, a novel approach is proposed to analyze and formalize the requirements specification, which is the basis of software system. Specifically, firstly, in order to improve the accuracy of the translation from an original specification into a formal specification, dynamic state translation diagrams are extracted to express internal operation mechanisms and state changes. Followed by graphical UML models are created for a comprehensive and object-oriented analysis of the system structure. Thirdly, rigorous and explicit formal specification is established using VDM++. Lastly, system properties are validated by discharging the proof obligations of the formal specification. The satisfiability is validated by simulation and systematic testing." @default.
- W2005070947 created "2016-06-24" @default.
- W2005070947 creator A5000799818 @default.
- W2005070947 creator A5024850940 @default.
- W2005070947 creator A5073391035 @default.
- W2005070947 creator A5079699142 @default.
- W2005070947 date "2014-07-01" @default.
- W2005070947 modified "2023-09-27" @default.
- W2005070947 title "Reliability methodology and theory for development of novel railway signalling systems" @default.
- W2005070947 cites W1557520116 @default.
- W2005070947 cites W1604245053 @default.
- W2005070947 cites W1844820529 @default.
- W2005070947 cites W2130560480 @default.
- W2005070947 cites W2164892954 @default.
- W2005070947 doi "https://doi.org/10.1109/chicc.2014.6896055" @default.
- W2005070947 hasPublicationYear "2014" @default.
- W2005070947 type Work @default.
- W2005070947 sameAs 2005070947 @default.
- W2005070947 citedByCount "0" @default.
- W2005070947 crossrefType "proceedings-article" @default.
- W2005070947 hasAuthorship W2005070947A5000799818 @default.
- W2005070947 hasAuthorship W2005070947A5024850940 @default.
- W2005070947 hasAuthorship W2005070947A5073391035 @default.
- W2005070947 hasAuthorship W2005070947A5079699142 @default.
- W2005070947 hasConcept C102780508 @default.
- W2005070947 hasConcept C111498074 @default.
- W2005070947 hasConcept C115903868 @default.
- W2005070947 hasConcept C116253237 @default.
- W2005070947 hasConcept C121332964 @default.
- W2005070947 hasConcept C127413603 @default.
- W2005070947 hasConcept C145644426 @default.
- W2005070947 hasConcept C163258240 @default.
- W2005070947 hasConcept C199360897 @default.
- W2005070947 hasConcept C200601418 @default.
- W2005070947 hasConcept C2777904410 @default.
- W2005070947 hasConcept C41008148 @default.
- W2005070947 hasConcept C43214815 @default.
- W2005070947 hasConcept C52913732 @default.
- W2005070947 hasConcept C529173508 @default.
- W2005070947 hasConcept C62520636 @default.
- W2005070947 hasConcept C75606506 @default.
- W2005070947 hasConcept C84651959 @default.
- W2005070947 hasConceptScore W2005070947C102780508 @default.
- W2005070947 hasConceptScore W2005070947C111498074 @default.
- W2005070947 hasConceptScore W2005070947C115903868 @default.
- W2005070947 hasConceptScore W2005070947C116253237 @default.
- W2005070947 hasConceptScore W2005070947C121332964 @default.
- W2005070947 hasConceptScore W2005070947C127413603 @default.
- W2005070947 hasConceptScore W2005070947C145644426 @default.
- W2005070947 hasConceptScore W2005070947C163258240 @default.
- W2005070947 hasConceptScore W2005070947C199360897 @default.
- W2005070947 hasConceptScore W2005070947C200601418 @default.
- W2005070947 hasConceptScore W2005070947C2777904410 @default.
- W2005070947 hasConceptScore W2005070947C41008148 @default.
- W2005070947 hasConceptScore W2005070947C43214815 @default.
- W2005070947 hasConceptScore W2005070947C52913732 @default.
- W2005070947 hasConceptScore W2005070947C529173508 @default.
- W2005070947 hasConceptScore W2005070947C62520636 @default.
- W2005070947 hasConceptScore W2005070947C75606506 @default.
- W2005070947 hasConceptScore W2005070947C84651959 @default.
- W2005070947 hasLocation W20050709471 @default.
- W2005070947 hasOpenAccess W2005070947 @default.
- W2005070947 hasPrimaryLocation W20050709471 @default.
- W2005070947 hasRelatedWork W1563771073 @default.
- W2005070947 hasRelatedWork W1570993651 @default.
- W2005070947 hasRelatedWork W1578361860 @default.
- W2005070947 hasRelatedWork W1581526118 @default.
- W2005070947 hasRelatedWork W2000214199 @default.
- W2005070947 hasRelatedWork W2026960878 @default.
- W2005070947 hasRelatedWork W2091846435 @default.
- W2005070947 hasRelatedWork W2113344499 @default.
- W2005070947 hasRelatedWork W2132061124 @default.
- W2005070947 hasRelatedWork W2143314548 @default.
- W2005070947 hasRelatedWork W2147330472 @default.
- W2005070947 hasRelatedWork W2158272492 @default.
- W2005070947 hasRelatedWork W2164892954 @default.
- W2005070947 hasRelatedWork W2296595264 @default.
- W2005070947 hasRelatedWork W2548590975 @default.
- W2005070947 hasRelatedWork W2984465503 @default.
- W2005070947 hasRelatedWork W3127078862 @default.
- W2005070947 hasRelatedWork W313273446 @default.
- W2005070947 hasRelatedWork W3149422787 @default.
- W2005070947 hasRelatedWork W1503683433 @default.
- W2005070947 isParatext "false" @default.
- W2005070947 isRetracted "false" @default.
- W2005070947 magId "2005070947" @default.
- W2005070947 workType "article" @default.