Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387431115> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4387431115 endingPage "15" @default.
- W4387431115 startingPage "1" @default.
- W4387431115 abstract "Designing software systems underpinned by a formal model of computation (MoC) is crucial for safety-critical, real-time and all industrial applications as it allows formal analysis of those designs and support for correct by design systems. In this paper, we focus on Globally Asynchronous Locally Synchronous (GALS) software systems and Coloured Petri Nets (CPNs) based approach to formally model and analyse GALS software systems specified in SystemJ GALS programming language. The approach translates SystemJ constructs into CPN modules and composes them into CPN GALS model based on control flow and concurrency specified in the SystemJ program. It preserves GALS MoC by automatically integrating synchronizer modules, asynchronous channel interface modules, and scheduling modules to result in the execution model of SystemJ program equivalent CPN. The created CPN GALS model allows system developers to verify the properties of the design formally with the use of Computation Tree Logic (CTL). An industrial automation example is provided as a use case." @default.
- W4387431115 created "2023-10-08" @default.
- W4387431115 creator A5007782699 @default.
- W4387431115 creator A5088166627 @default.
- W4387431115 creator A5088713655 @default.
- W4387431115 date "2023-01-01" @default.
- W4387431115 modified "2023-10-09" @default.
- W4387431115 title "Designing, Modelling and Analysis of GALS Software Systems" @default.
- W4387431115 cites W1489268458 @default.
- W4387431115 cites W1605031929 @default.
- W4387431115 cites W1612453857 @default.
- W4387431115 cites W1878532202 @default.
- W4387431115 cites W2000823825 @default.
- W4387431115 cites W2011942926 @default.
- W4387431115 cites W2024391966 @default.
- W4387431115 cites W2073884684 @default.
- W4387431115 cites W2106198264 @default.
- W4387431115 cites W2142340571 @default.
- W4387431115 cites W2144140927 @default.
- W4387431115 cites W2156351642 @default.
- W4387431115 cites W2157597221 @default.
- W4387431115 cites W2159542925 @default.
- W4387431115 cites W2306232110 @default.
- W4387431115 cites W2522679276 @default.
- W4387431115 cites W2612586831 @default.
- W4387431115 cites W2625660785 @default.
- W4387431115 cites W2810491896 @default.
- W4387431115 cites W2899346628 @default.
- W4387431115 cites W2899474741 @default.
- W4387431115 cites W2951788404 @default.
- W4387431115 cites W2996282225 @default.
- W4387431115 cites W3003587445 @default.
- W4387431115 cites W3198597958 @default.
- W4387431115 cites W4211008702 @default.
- W4387431115 cites W4241212268 @default.
- W4387431115 cites W4249484115 @default.
- W4387431115 cites W4250693127 @default.
- W4387431115 cites W4253103663 @default.
- W4387431115 cites W603233673 @default.
- W4387431115 doi "https://doi.org/10.1109/tse.2023.3278055" @default.
- W4387431115 hasPublicationYear "2023" @default.
- W4387431115 type Work @default.
- W4387431115 citedByCount "0" @default.
- W4387431115 crossrefType "journal-article" @default.
- W4387431115 hasAuthorship W4387431115A5007782699 @default.
- W4387431115 hasAuthorship W4387431115A5088166627 @default.
- W4387431115 hasAuthorship W4387431115A5088713655 @default.
- W4387431115 hasConcept C110251889 @default.
- W4387431115 hasConcept C115903868 @default.
- W4387431115 hasConcept C120314980 @default.
- W4387431115 hasConcept C149635348 @default.
- W4387431115 hasConcept C151319957 @default.
- W4387431115 hasConcept C154488198 @default.
- W4387431115 hasConcept C184596265 @default.
- W4387431115 hasConcept C193702766 @default.
- W4387431115 hasConcept C199360897 @default.
- W4387431115 hasConcept C2777904410 @default.
- W4387431115 hasConcept C31258907 @default.
- W4387431115 hasConcept C38677869 @default.
- W4387431115 hasConcept C41008148 @default.
- W4387431115 hasConcept C45374587 @default.
- W4387431115 hasConceptScore W4387431115C110251889 @default.
- W4387431115 hasConceptScore W4387431115C115903868 @default.
- W4387431115 hasConceptScore W4387431115C120314980 @default.
- W4387431115 hasConceptScore W4387431115C149635348 @default.
- W4387431115 hasConceptScore W4387431115C151319957 @default.
- W4387431115 hasConceptScore W4387431115C154488198 @default.
- W4387431115 hasConceptScore W4387431115C184596265 @default.
- W4387431115 hasConceptScore W4387431115C193702766 @default.
- W4387431115 hasConceptScore W4387431115C199360897 @default.
- W4387431115 hasConceptScore W4387431115C2777904410 @default.
- W4387431115 hasConceptScore W4387431115C31258907 @default.
- W4387431115 hasConceptScore W4387431115C38677869 @default.
- W4387431115 hasConceptScore W4387431115C41008148 @default.
- W4387431115 hasConceptScore W4387431115C45374587 @default.
- W4387431115 hasLocation W43874311151 @default.
- W4387431115 hasOpenAccess W4387431115 @default.
- W4387431115 hasPrimaryLocation W43874311151 @default.
- W4387431115 hasRelatedWork W1539650877 @default.
- W4387431115 hasRelatedWork W1542768242 @default.
- W4387431115 hasRelatedWork W1745255672 @default.
- W4387431115 hasRelatedWork W2355319912 @default.
- W4387431115 hasRelatedWork W2391570358 @default.
- W4387431115 hasRelatedWork W2462966030 @default.
- W4387431115 hasRelatedWork W2740682747 @default.
- W4387431115 hasRelatedWork W4240844203 @default.
- W4387431115 hasRelatedWork W4256363426 @default.
- W4387431115 hasRelatedWork W949708604 @default.
- W4387431115 isParatext "false" @default.
- W4387431115 isRetracted "false" @default.
- W4387431115 workType "article" @default.