Sökning: onr:"swepub:oai:research.chalmers.se:3e9f55e5-4b60-43c7-968c-2fb2cc5e77c8" >
Interface between S...
-
Kanthabhabhajeya, Sathyamyla,1985Chalmers tekniska högskola,Chalmers University of Technology
(författare)
Interface between SysML and Sequence Planner Language for Formal Verification
- Artikel/kapitelEngelska2013
Förlag, utgivningsår, omfång ...
-
2013
-
electronicrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:research.chalmers.se:3e9f55e5-4b60-43c7-968c-2fb2cc5e77c8
-
https://research.chalmers.se/publication/181003URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:kon swepub-publicationtype
-
Ämneskategori:ref swepub-contenttype
Anmärkningar
-
This paper presents a method and software for interfacing Systems Modeling Language (SysML) and Sequence Planner Language (SPL). Exchange of information between different software tools is of major interest for modern manufacturing industries from early design to final implementation. SysML, with its structure as a common platform, can then be interfaced with other domain-specific modeling tools to achieve information exchange. This paper presents a method to interface SysML with a recently introduced language for operation sequences called Sequence Planner Language (SPL). By this method, necessary information from behavioral constructs of SysML model are extracted and structured in SPL. This language, being a formal, graphical language,can be used to formally verify the system for any blocking states. An academic and an industrial model developed in SysML are tested using the interface implementation and the results show that information from SysML can be visualized in SPL and formally verified to have no blocking states.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Berglund, JoakimChalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)berglunj
(författare)
-
Falkman, Petter,1972Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)pf
(författare)
-
Lennartson, Bengt,1956Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)l
(författare)
-
Chalmers tekniska högskola
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:23rd Annual International Symposium of the International Council on Systems Engineering, INCOSE 20131, s. 222-236
Internetlänk