Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013888042> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2013888042 endingPage "1701" @default.
- W2013888042 startingPage "1699" @default.
- W2013888042 abstract "High-level modelling languages and standards, such as Simulink, UML, SysML, MARTE and AADL (Architecture Analysis & Design Language), meet increasing adoption in the design of embedded systems in order to carry out system-level analysis, verification and validation (V&V) and architecture exploration, as early as possible. These analysis, V&V, architecture exploration techniques rely on mathematical foundations and formal methods in order to avoid semantics ambiguities in the design of safety-critical systems.In order to support integration validation, it is necessary to define a formal framework of virtual prototyping to integrate, verify, exercise and analyse the application code generated by modelling tools as early as possible and virtually integrate it with simulators of third-party middleware and hardware. Such a virtual prototyping platform makes it possible to validate the expected behaviour of the final application software and check that the resulting system indeed meets the specified performance requirements before the actual hardware even actually exists.In this paper, we present the definition, development and case-study validation of such a comprehensive framework, based on the synchronous paradigm and the polychronous model of computation and communication of its supportive open-source toolset: Polychrony. A longer-term aim of our work is to equip the AADL standard with an architecture-centric framework allowing for synchronous modelling, verification and synthesis of embedded software." @default.
- W2013888042 created "2016-06-24" @default.
- W2013888042 creator A5041360070 @default.
- W2013888042 creator A5059810572 @default.
- W2013888042 creator A5080644742 @default.
- W2013888042 date "1997-02-01" @default.
- W2013888042 modified "2023-09-24" @default.
- W2013888042 title "Distributed and parallel systems: Environments and tools" @default.
- W2013888042 doi "https://doi.org/10.1016/s0167-8191(97)89713-x" @default.
- W2013888042 hasPublicationYear "1997" @default.
- W2013888042 type Work @default.
- W2013888042 sameAs 2013888042 @default.
- W2013888042 citedByCount "1" @default.
- W2013888042 crossrefType "journal-article" @default.
- W2013888042 hasAuthorship W2013888042A5041360070 @default.
- W2013888042 hasAuthorship W2013888042A5059810572 @default.
- W2013888042 hasAuthorship W2013888042A5080644742 @default.
- W2013888042 hasConcept C115903868 @default.
- W2013888042 hasConcept C120314980 @default.
- W2013888042 hasConcept C145644426 @default.
- W2013888042 hasConcept C149635348 @default.
- W2013888042 hasConcept C169468491 @default.
- W2013888042 hasConcept C179603123 @default.
- W2013888042 hasConcept C199360897 @default.
- W2013888042 hasConcept C21285288 @default.
- W2013888042 hasConcept C2777904410 @default.
- W2013888042 hasConcept C41008148 @default.
- W2013888042 hasConcept C75606506 @default.
- W2013888042 hasConceptScore W2013888042C115903868 @default.
- W2013888042 hasConceptScore W2013888042C120314980 @default.
- W2013888042 hasConceptScore W2013888042C145644426 @default.
- W2013888042 hasConceptScore W2013888042C149635348 @default.
- W2013888042 hasConceptScore W2013888042C169468491 @default.
- W2013888042 hasConceptScore W2013888042C179603123 @default.
- W2013888042 hasConceptScore W2013888042C199360897 @default.
- W2013888042 hasConceptScore W2013888042C21285288 @default.
- W2013888042 hasConceptScore W2013888042C2777904410 @default.
- W2013888042 hasConceptScore W2013888042C41008148 @default.
- W2013888042 hasConceptScore W2013888042C75606506 @default.
- W2013888042 hasIssue "13" @default.
- W2013888042 hasLocation W20138880421 @default.
- W2013888042 hasOpenAccess W2013888042 @default.
- W2013888042 hasPrimaryLocation W20138880421 @default.
- W2013888042 hasRelatedWork W1498165689 @default.
- W2013888042 hasRelatedWork W2041313083 @default.
- W2013888042 hasRelatedWork W2079493878 @default.
- W2013888042 hasRelatedWork W2140225592 @default.
- W2013888042 hasRelatedWork W2611405214 @default.
- W2013888042 hasRelatedWork W3005887481 @default.
- W2013888042 hasRelatedWork W376448498 @default.
- W2013888042 hasRelatedWork W4213206204 @default.
- W2013888042 hasRelatedWork W4244804067 @default.
- W2013888042 hasRelatedWork W74460055 @default.
- W2013888042 hasVolume "22" @default.
- W2013888042 isParatext "false" @default.
- W2013888042 isRetracted "false" @default.
- W2013888042 magId "2013888042" @default.
- W2013888042 workType "article" @default.