Matches in SemOpenAlex for { <https://semopenalex.org/work/W1921676103> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1921676103 abstract "Formal Methods are necessary for the specification, development and verification of safety critical systems. Formal Languages help us to identify errors at an early stage in the development process and can aid in reducing overall system development costs. Despite their benefits, formal methods are not widely accepted in the industry due to the need for high abstraction and a mathematical labor pool. The SOFL (Structured Object-Oriented Formal Language) methodology can be effective and efficient for safety critical systems. Some major issues with formal languages like higher abstraction levels, the need of mathematical skills, developer maturity and high costs can be overcome by using SOFL. SOFL specifically encapsulates three major layers: 1) structured methodology in the early stage of development, 2) object oriented methodology at the detailed level and 3) incorporation of formal methods. In this paper, we have tested the SOFL 3-step approach for the formal specification of a Railway Signaling System ,already implemented by using Zed. Afterward we performed a comparison, using certain parameters identified from literature, to assess the appropriateness of Zed and SOFL methodology for the formal specification of a safety critical system. We found SOFL as an instinctive and perceptive for formal specification which overcome limitation of other formal lamguages." @default.
- W1921676103 created "2016-06-24" @default.
- W1921676103 creator A5076403378 @default.
- W1921676103 creator A5088699650 @default.
- W1921676103 creator A5091886324 @default.
- W1921676103 date "2014-03-28" @default.
- W1921676103 modified "2023-09-22" @default.
- W1921676103 title "SOFL - A Better Approach for Formal Specification: A Case Study Based Comparison" @default.
- W1921676103 cites W1832935029 @default.
- W1921676103 cites W1976559179 @default.
- W1921676103 cites W2006641257 @default.
- W1921676103 cites W2017730207 @default.
- W1921676103 cites W2030110406 @default.
- W1921676103 cites W2099601201 @default.
- W1921676103 cites W2107002278 @default.
- W1921676103 cites W2110801648 @default.
- W1921676103 cites W2119974281 @default.
- W1921676103 cites W2127159302 @default.
- W1921676103 cites W2143086246 @default.
- W1921676103 cites W2151211409 @default.
- W1921676103 hasPublicationYear "2014" @default.
- W1921676103 type Work @default.
- W1921676103 sameAs 1921676103 @default.
- W1921676103 citedByCount "0" @default.
- W1921676103 crossrefType "journal-article" @default.
- W1921676103 hasAuthorship W1921676103A5076403378 @default.
- W1921676103 hasAuthorship W1921676103A5088699650 @default.
- W1921676103 hasAuthorship W1921676103A5091886324 @default.
- W1921676103 hasConcept C102315432 @default.
- W1921676103 hasConcept C111472728 @default.
- W1921676103 hasConcept C111498074 @default.
- W1921676103 hasConcept C115903868 @default.
- W1921676103 hasConcept C116253237 @default.
- W1921676103 hasConcept C124304363 @default.
- W1921676103 hasConcept C138885662 @default.
- W1921676103 hasConcept C14331664 @default.
- W1921676103 hasConcept C146072743 @default.
- W1921676103 hasConcept C154945302 @default.
- W1921676103 hasConcept C185954173 @default.
- W1921676103 hasConcept C195324797 @default.
- W1921676103 hasConcept C199360897 @default.
- W1921676103 hasConcept C201677973 @default.
- W1921676103 hasConcept C39890363 @default.
- W1921676103 hasConcept C41008148 @default.
- W1921676103 hasConcept C500879282 @default.
- W1921676103 hasConcept C69298649 @default.
- W1921676103 hasConcept C75606506 @default.
- W1921676103 hasConcept C84651959 @default.
- W1921676103 hasConceptScore W1921676103C102315432 @default.
- W1921676103 hasConceptScore W1921676103C111472728 @default.
- W1921676103 hasConceptScore W1921676103C111498074 @default.
- W1921676103 hasConceptScore W1921676103C115903868 @default.
- W1921676103 hasConceptScore W1921676103C116253237 @default.
- W1921676103 hasConceptScore W1921676103C124304363 @default.
- W1921676103 hasConceptScore W1921676103C138885662 @default.
- W1921676103 hasConceptScore W1921676103C14331664 @default.
- W1921676103 hasConceptScore W1921676103C146072743 @default.
- W1921676103 hasConceptScore W1921676103C154945302 @default.
- W1921676103 hasConceptScore W1921676103C185954173 @default.
- W1921676103 hasConceptScore W1921676103C195324797 @default.
- W1921676103 hasConceptScore W1921676103C199360897 @default.
- W1921676103 hasConceptScore W1921676103C201677973 @default.
- W1921676103 hasConceptScore W1921676103C39890363 @default.
- W1921676103 hasConceptScore W1921676103C41008148 @default.
- W1921676103 hasConceptScore W1921676103C500879282 @default.
- W1921676103 hasConceptScore W1921676103C69298649 @default.
- W1921676103 hasConceptScore W1921676103C75606506 @default.
- W1921676103 hasConceptScore W1921676103C84651959 @default.
- W1921676103 hasIssue "3" @default.
- W1921676103 hasLocation W19216761031 @default.
- W1921676103 hasOpenAccess W1921676103 @default.
- W1921676103 hasPrimaryLocation W19216761031 @default.
- W1921676103 hasRelatedWork W1471077861 @default.
- W1921676103 hasRelatedWork W1533669913 @default.
- W1921676103 hasRelatedWork W2002271780 @default.
- W1921676103 hasRelatedWork W2020416949 @default.
- W1921676103 hasRelatedWork W2027776383 @default.
- W1921676103 hasRelatedWork W2038143344 @default.
- W1921676103 hasRelatedWork W2117272498 @default.
- W1921676103 hasRelatedWork W2120011042 @default.
- W1921676103 hasRelatedWork W2122401294 @default.
- W1921676103 hasRelatedWork W2125373133 @default.
- W1921676103 hasRelatedWork W2142065829 @default.
- W1921676103 hasRelatedWork W2145025660 @default.
- W1921676103 hasRelatedWork W2171674700 @default.
- W1921676103 hasRelatedWork W2178979533 @default.
- W1921676103 hasRelatedWork W222060822 @default.
- W1921676103 hasRelatedWork W2252712587 @default.
- W1921676103 hasRelatedWork W2364873825 @default.
- W1921676103 hasRelatedWork W2514239774 @default.
- W1921676103 hasRelatedWork W2607268704 @default.
- W1921676103 hasRelatedWork W2158872745 @default.
- W1921676103 hasVolume "3" @default.
- W1921676103 isParatext "false" @default.
- W1921676103 isRetracted "false" @default.
- W1921676103 magId "1921676103" @default.
- W1921676103 workType "article" @default.