Evaluation of a dynamic map architecture with ATAM

Szwed, Piotr; Wojnicki, Igor; Ernst, Sebastian; Głowacz, Andrzej

doi:10.7494/automat.2013.17.1.127

Cited by 3 publications

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Verification of ArchiMate Behavioral Elements by Model Checking

Szwed

2015

Computer Information Systems and Industrial Management

View full text Add to dashboard Cite

Abstract. In this paper we investigate the problem of verification of business processes specified with ArchiMate language. The proposed solution employs model checking techniques. As a verification platform the state of the art symbolic model checker NuSMV is used. We describe a method of fully automated translation of behavioral elements embedded in ArchiMate models into a representation in NuSMV language, which is then submitted to verification with respect to requirements expressed in CTL. The requirements specification can be entered by user, but we also propose to derive some of them automatically, based on analysis of control flows within business processes. The solution was implemented as a plugin to Archi, a popular ArchiMate modeling tool. Application of the method is presented on an example of a small business process.

show abstract

Verification of ArchiMate Behavioral Elements by Model Checking

Szwed

2015

Computer Information Systems and Industrial Management

View full text Add to dashboard Cite

show abstract

Evaluating Efficiency of ArchiMate Business Processes Verification with NuSMV

Szwed¹

2016

Information Technology for Management

View full text Add to dashboard Cite

Risk assessment for a video surveillance system based on Fuzzy Cognitive Maps

Szwed

Skrzynski

Chmiel

2014

Multimed Tools Appl

Self Cite

View full text Add to dashboard Cite

For various IT systems security is considered a key quality factor. In particular, it might be crucial for video surveillance systems, as their goal is to provide continuous protection of critical infrastructure and other facilities. Risk assessment is an important activity in security management; it aims at identifying assets, threats and vulnerabilities, analysis of implemented countermeasures and their effectiveness in mitigating risks. This paper discusses an application of a new risk assessment method, in which risk calculation is based on Fuzzy Cognitive Maps (FCMs) to a complex automated video surveillance system. FCMs are used to capture dependencies between assets and FCM based reasoning is applied to aggregate risks assigned to lower-level assets (e.g. cameras, hardware, software modules, communications, people) to such high level assets as services, maintained data and processes. Lessons learned indicate, that the proposed method is an efficient and lowcost approach, giving instantaneous feedback and enabling reasoning on effectiveness of security system.

show abstract

Evaluation of a dynamic map architecture with ATAM

Cited by 3 publications

References 13 publications

Verification of ArchiMate Behavioral Elements by Model Checking

Verification of ArchiMate Behavioral Elements by Model Checking

Evaluating Efficiency of ArchiMate Business Processes Verification with NuSMV

Risk assessment for a video surveillance system based on Fuzzy Cognitive Maps

Contact Info

Product

Resources

About