FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2568324669> ?p ?o ?g. }

• W2568324669 abstract "It is well known that informal simulation-based design of embedded systems has a low initial cost and delivers early results; yet it cannot guarantee the correctness and reliability of the system to be developed. In contrast, the correctness and reliability of the system can be thoroughly investigated with formal design, but it requires a larger effort, which increases the development cost. Therefore, it is desirable for a designer to move between formal and informal design. This paper describes how to translate Hybrid CSP (HCSP) formal models into Simulink graphical models, so that the models can be simulated and tested using a MATLAB platform, thus avoiding expensive formal verification if the development is at a stage where it is considered unnecessary. Together with our previous work on encoding Simulink/Stateflow diagrams into HCSP, it provides a two-way path in the design of embedded systems, so that the designer can flexibly shift between formal and informal models. The translation from HCSP into Simulink diagrams is implemented as a fully automatic tool, and the correctness of the translation is justified using Unifying Theories of Programming (UTP)." @default.
• W2568324669 created "2017-01-13" @default.
• W2568324669 creator A5026435847 @default.
• W2568324669 creator A5033777370 @default.
• W2568324669 creator A5040897273 @default.
• W2568324669 creator A5043436285 @default.
• W2568324669 creator A5059750606 @default.
• W2568324669 date "2017-01-01" @default.
• W2568324669 modified "2023-09-26" @default.
• W2568324669 title "A Two-Way Path Between Formal and Informal Design of Embedded Systems" @default.
• W2568324669 cites W107352449 @default.
• W2568324669 cites W115475910 @default.
• W2568324669 cites W147593471 @default.
• W2568324669 cites W1483063212 @default.
• W2568324669 cites W1513889636 @default.
• W2568324669 cites W1553814243 @default.
• W2568324669 cites W1555104280 @default.
• W2568324669 cites W1558296274 @default.
• W2568324669 cites W1964587130 @default.
• W2568324669 cites W1966210049 @default.
• W2568324669 cites W2001049101 @default.
• W2568324669 cites W2039706992 @default.
• W2568324669 cites W2098346263 @default.
• W2568324669 cites W2099661188 @default.
• W2568324669 cites W2115803389 @default.
• W2568324669 cites W2118850959 @default.
• W2568324669 cites W2125614702 @default.
• W2568324669 cites W2130705439 @default.
• W2568324669 cites W2147340401 @default.
• W2568324669 cites W2150408604 @default.
• W2568324669 cites W2169180789 @default.
• W2568324669 cites W2170064878 @default.
• W2568324669 cites W2171520043 @default.
• W2568324669 cites W2338852180 @default.
• W2568324669 cites W2474570490 @default.
• W2568324669 cites W2568324669 @default.
• W2568324669 cites W35751504 @default.
• W2568324669 cites W4234184051 @default.
• W2568324669 cites W4256074395 @default.
• W2568324669 cites W4379506493 @default.
• W2568324669 doi "https://doi.org/10.1007/978-3-319-52228-9_4" @default.
• W2568324669 hasPublicationYear "2017" @default.
• W2568324669 type Work @default.
• W2568324669 sameAs 2568324669 @default.
• W2568324669 citedByCount "7" @default.
• W2568324669 countsByYear W25683246692016 @default.
• W2568324669 countsByYear W25683246692017 @default.
• W2568324669 countsByYear W25683246692019 @default.
• W2568324669 countsByYear W25683246692020 @default.
• W2568324669 crossrefType "book-chapter" @default.
• W2568324669 hasAuthorship W2568324669A5026435847 @default.
• W2568324669 hasAuthorship W2568324669A5033777370 @default.
• W2568324669 hasAuthorship W2568324669A5040897273 @default.
• W2568324669 hasAuthorship W2568324669A5043436285 @default.
• W2568324669 hasAuthorship W2568324669A5059750606 @default.
• W2568324669 hasBestOaLocation W25683246692 @default.
• W2568324669 hasConcept C111498074 @default.
• W2568324669 hasConcept C115903868 @default.
• W2568324669 hasConcept C116253237 @default.
• W2568324669 hasConcept C121332964 @default.
• W2568324669 hasConcept C149635348 @default.
• W2568324669 hasConcept C163258240 @default.
• W2568324669 hasConcept C199360897 @default.
• W2568324669 hasConcept C2779752788 @default.
• W2568324669 hasConcept C2780365114 @default.
• W2568324669 hasConcept C41008148 @default.
• W2568324669 hasConcept C43214815 @default.
• W2568324669 hasConcept C55439883 @default.
• W2568324669 hasConcept C62520636 @default.
• W2568324669 hasConcept C75606506 @default.
• W2568324669 hasConceptScore W2568324669C111498074 @default.
• W2568324669 hasConceptScore W2568324669C115903868 @default.
• W2568324669 hasConceptScore W2568324669C116253237 @default.
• W2568324669 hasConceptScore W2568324669C121332964 @default.
• W2568324669 hasConceptScore W2568324669C149635348 @default.
• W2568324669 hasConceptScore W2568324669C163258240 @default.
• W2568324669 hasConceptScore W2568324669C199360897 @default.
• W2568324669 hasConceptScore W2568324669C2779752788 @default.
• W2568324669 hasConceptScore W2568324669C2780365114 @default.
• W2568324669 hasConceptScore W2568324669C41008148 @default.
• W2568324669 hasConceptScore W2568324669C43214815 @default.
• W2568324669 hasConceptScore W2568324669C55439883 @default.
• W2568324669 hasConceptScore W2568324669C62520636 @default.
• W2568324669 hasConceptScore W2568324669C75606506 @default.
• W2568324669 hasLocation W25683246691 @default.
• W2568324669 hasLocation W25683246692 @default.
• W2568324669 hasOpenAccess W2568324669 @default.
• W2568324669 hasPrimaryLocation W25683246691 @default.
• W2568324669 hasRelatedWork W126787391 @default.
• W2568324669 hasRelatedWork W1491738330 @default.
• W2568324669 hasRelatedWork W1558296274 @default.
• W2568324669 hasRelatedWork W1577350072 @default.
• W2568324669 hasRelatedWork W1755901030 @default.
• W2568324669 hasRelatedWork W1891373149 @default.
• W2568324669 hasRelatedWork W2079846795 @default.
• W2568324669 hasRelatedWork W2091912552 @default.
• W2568324669 hasRelatedWork W2115741225 @default.
• W2568324669 hasRelatedWork W2125614702 @default.
• W2568324669 hasRelatedWork W2160937337 @default.
• W2568324669 hasRelatedWork W2300021531 @default.

• next