SysML Modeling of Functional and Non-functional Requirements for IEC 61131-3 Control Systems

Jamro, Marcin

doi:10.1007/978-3-319-15796-2_10

Cited by 2 publications

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The modeling languages that are part of MegaM@Rt2 framework (e.g., MARTE and SysML) are well-suited for modeling a variety of requirements at different levels (e.g. from component to system level), as shown by existing studies [31,32,33]. Some industrial use cases from the project have specific non-functional requirements to meet, for example explicit safety requirements of the train control management system for Bombardier Transportation, Sweden.…”

Section: Discussionmentioning

confidence: 99%

On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience

Sadovykh

Afzal

Truşcan

et al. 2019

Microprocessors and Microsystems

View full text Add to dashboard Cite

MegaM@Rt2 is a large European project dedicated to the provisioning of a model-based methodology and supporting tooling for system engineering at a wide scale. It notably targets the continuous development and runtime validation of such complex systems by developing a framework addressing a large set of engineering processes and application domains. This collaborative project involves 27 partners from 6 different countries, 9 industrial case studies as well as over 30 different software tools from project partners (and others). In the context of the MegaM@Rt2 project, we elaborated on a pragmatic model-driven approach to specify the case study requirements,

show abstract

Section: Discussionmentioning

confidence: 99%

On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience

Sadovykh

Afzal

Truşcan

et al. 2019

Microprocessors and Microsystems

View full text Add to dashboard Cite

show abstract

“…3. It has many similarities with the overall approach to modeling func-Impact of Communication Timeouts on Meeting Functional Requirements for IEC 61131-3 Distributed Control Systems M. Jamro, D. Rzonca tional and nonfunctional requirements, described in details in [24]. For the purpose of convenient modeling of various test kinds, three stereotypes are defined.…”

Section: Sysml-based Modelingmentioning

confidence: 99%

Impact of Communication Timeouts on Meeting Functional Requirements for IEC 61131–3 Distributed Control Systems

Jamro

Rzońca

2015

Automatika

Self Cite

View full text Add to dashboard Cite

Original scientific paperThe control software is frequently used in various systems that perform important and responsible tasks in industry. During its development, it is crucial to ensure that the solution is created in a way consistent with assumptions and meets all functional requirements. One of important steps consists of testing particular software units, separated from the rest of system, using the off-line simulator. However, test results can be different in case of a fully-connected system when external factors, such as communication issues, should be also taken into account. In this paper, the authors present a concept of specification and execution of system tests, using the dedicated test definition language, named CPTest+. It has been extended by the additional ASSERT_COM instruction, which performs an assertion that is able to detect problems related to external factors, including communication. To enable automatic and systematic testing, the dedicated metric has been proposed. It takes into account the current link status and archived results to calculate the probability that the test case has failed due to communication problems.Key words: Control Systems, Communication, IEC 61131-3, Requirements, Testing Utjecaj komunikacijskih prekida na zadovoljenje funkcionalnih zahtjeva IEC 61131-3 distribuiranih sustava upravljanja. Upravljački software ječesto korišten u sustavima koji obavljaju kritične zadatke u industriji. Tijekom njegovog razvoja, važno je osigurati zadovoljenje svih bitnih pretpostavki i funkcionalnih zahtjeva. Jedan od važnih koraka u razvoju navedenog softwarea je testiranje njegovih pojedinih cjelina korištenjem offline simulatora, neovisno o ostatku sustava. Meutim, rezultati testiranja mogu se bitnije razlikovati u slučaju potpuno povezanog sustava sa svim pripadajućim eksternim faktorima, kao što su komunikacijski problemi, koje je takoer potrebno uzeti u obzir. U ovom radu autori predstavljaju koncept definiranja i izvršenja testova sustava korištenjem jezika za namjensko definiranje testova, nazvanog CPTest+. On je proširen dodatnom ASSERT_COM naredbom koja obavlja provjeru s mogućnošću detekcije problema uzrokovanih vanjskim faktorima, npr. komunikacijom. Kako bi se omogućilo automatsko i sistematično testiranje predložen je namjenski mjerni sustav. On uzima u obzir trenutni status veze kao i arhivirane rezultate kako bi se odredila vjerojatnost neizvršenja testnog slučaja uslijed komunikacijskih problema.

show abstract

SysML Modeling of Functional and Non-functional Requirements for IEC 61131-3 Control Systems

Cited by 2 publications

References 18 publications

On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience

On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience

Impact of Communication Timeouts on Meeting Functional Requirements for IEC 61131–3 Distributed Control Systems

Contact Info

Product

Resources

About