Matches in SemOpenAlex for { <https://semopenalex.org/work/W3025157024> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3025157024 abstract "Developing safety critical applications often require rare human resources to complete successfully while off-the-shelf block solutions appear difficult to adapt especially during short-term projects. The CLEARSY Safety Platform fulfils a need for a technical solution to overcome the difficulties to develop SIL3/SIL4 system with its technology based on a double-processor and a formal method with proof to ensure safety at the highest level. The formal method, namely the B method, has been heavily used in the railways industry for decades. Using its IDE, Atelier B, to program the CLEARSY Safety Platform ensures a higherlevel of confidence on the software generated. This paper presents this platform aimed at revolutionising the development of safety critical systems, developed through the FUI project LCHIP (Low Cost High Integrity Platform)." @default.
- W3025157024 created "2020-05-21" @default.
- W3025157024 creator A5005087679 @default.
- W3025157024 creator A5007537498 @default.
- W3025157024 creator A5011029464 @default.
- W3025157024 creator A5041770520 @default.
- W3025157024 creator A5041836146 @default.
- W3025157024 creator A5046244008 @default.
- W3025157024 creator A5074138386 @default.
- W3025157024 creator A5089671590 @default.
- W3025157024 creator A5091760673 @default.
- W3025157024 date "2020-01-29" @default.
- W3025157024 modified "2023-10-08" @default.
- W3025157024 title "Low Cost High Integrity Platform" @default.
- W3025157024 cites W174744695 @default.
- W3025157024 cites W177306140 @default.
- W3025157024 cites W2309928673 @default.
- W3025157024 cites W2567969897 @default.
- W3025157024 cites W2945259451 @default.
- W3025157024 cites W2966750776 @default.
- W3025157024 cites W3182456546 @default.
- W3025157024 cites W42332353 @default.
- W3025157024 cites W793909528 @default.
- W3025157024 hasPublicationYear "2020" @default.
- W3025157024 type Work @default.
- W3025157024 sameAs 3025157024 @default.
- W3025157024 citedByCount "0" @default.
- W3025157024 crossrefType "proceedings-article" @default.
- W3025157024 hasAuthorship W3025157024A5005087679 @default.
- W3025157024 hasAuthorship W3025157024A5007537498 @default.
- W3025157024 hasAuthorship W3025157024A5011029464 @default.
- W3025157024 hasAuthorship W3025157024A5041770520 @default.
- W3025157024 hasAuthorship W3025157024A5041836146 @default.
- W3025157024 hasAuthorship W3025157024A5046244008 @default.
- W3025157024 hasAuthorship W3025157024A5074138386 @default.
- W3025157024 hasAuthorship W3025157024A5089671590 @default.
- W3025157024 hasAuthorship W3025157024A5091760673 @default.
- W3025157024 hasBestOaLocation W30251570241 @default.
- W3025157024 hasConcept C127413603 @default.
- W3025157024 hasConcept C200601418 @default.
- W3025157024 hasConcept C33762810 @default.
- W3025157024 hasConcept C38652104 @default.
- W3025157024 hasConcept C41008148 @default.
- W3025157024 hasConceptScore W3025157024C127413603 @default.
- W3025157024 hasConceptScore W3025157024C200601418 @default.
- W3025157024 hasConceptScore W3025157024C33762810 @default.
- W3025157024 hasConceptScore W3025157024C38652104 @default.
- W3025157024 hasConceptScore W3025157024C41008148 @default.
- W3025157024 hasLocation W30251570241 @default.
- W3025157024 hasLocation W30251570242 @default.
- W3025157024 hasLocation W30251570243 @default.
- W3025157024 hasLocation W30251570244 @default.
- W3025157024 hasOpenAccess W3025157024 @default.
- W3025157024 hasPrimaryLocation W30251570241 @default.
- W3025157024 hasRelatedWork W1596801655 @default.
- W3025157024 hasRelatedWork W2130043461 @default.
- W3025157024 hasRelatedWork W2350741829 @default.
- W3025157024 hasRelatedWork W2358668433 @default.
- W3025157024 hasRelatedWork W2376932109 @default.
- W3025157024 hasRelatedWork W2382290278 @default.
- W3025157024 hasRelatedWork W2390279801 @default.
- W3025157024 hasRelatedWork W2748952813 @default.
- W3025157024 hasRelatedWork W2899084033 @default.
- W3025157024 hasRelatedWork W2530322880 @default.
- W3025157024 isParatext "false" @default.
- W3025157024 isRetracted "false" @default.
- W3025157024 magId "3025157024" @default.
- W3025157024 workType "article" @default.