Appraising critical infrastructure systems with visualisation

This paper explores the use of system modelling as an approach for appraising critical infrastructure systems. It reports on focus group findings with relation to the system modelling aspects of a critical infrastructure security analysis and modelling framework. Specifically, this discussion focuses on the interpretations of a focus group in terms of the likely benefits or otherwise of system visualisation. With the group focusing on its perceived value as an educational tool in terms of providing an abstract visualisation representation of a critical infrastructure system incident.<br /

Security analysis and modelling framework for critical infrastructure systems

The provision and delivery of many of the services that modern society enjoys are the result of ubiquitous critical infrastructure systems that permeate across many sectors of the Australian community. Moreover, the integration of technological enhancements and networking interconnections between critical infrastructure systems has heightened system interdependence, availability and resilience, including the efficient delivery of services to consumers within Australia\u27s industrialised society. This research delivers a system security analysis and system modelling framework tool based on an associated conceptual methodology as the basis for assessing security and conceptually modelling a critical infrastructure system incident. The intent to identify potential system security issues and gain operational insights that will contribute to improving system resilience, contingency planning development applicable to disaster recovery and ameliorating incident management responses for Australian critical infrastructure system incidents.<br /

Critical infrastructure systems : security analysis and modelling approach

A system security analysis and system modelling framework tool is proposed adopting an associated conceptual methodology as the basis for assessing security and conceptually modelling a critical infrastructure system incident. The intent is to identify potential system security issues and gain operational insights that will contribute to improving system resilience, contingency planning, disaster recovery and ameliorating incident management responses for critical infrastructure system incidents. The aforementioned system security analysis and modelling framework is applied to an adverse critical infrastructure system incident case study. This paper reports on the practical application of the framework to a case study of an actual critical infrastructure system failure and the resultant incident implications for the system and the wider regional communities.<br /

Patterns In System Modeling Theory

Tez (Yüksek Lisans) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2008Thesis (M.Sc.) -- İstanbul Technical University, Institute of Science and Technology, 2008Günümüzde, İşletmeler sürekli değişen dış ortam ile karşı karşıyadırlar. Uygun yönetim için daha iyi iş akışı ve değişime uyum sağlayacak işletme modelleri gereklidir. İş akışı modellemenin hedefi, iş akışı sisteminini anlamak, performans değerlendirmesini üstünleştirmek, karar vermeyi desteklemek ve sürekli iyileştirme için değiştirme cesareti vermektir. Bu hedefe ulaşmak için, etkili enformasyon teknolojisi gerkelidir. Bu nedenle, İşletme içersinde bilgiye ulaşımı destekleyecek etkili enformasyon teknolojisi gereklidir. Organizasyon yönetimine destek amacı ile model entegrasyonuna destek için bu proje referans mimarisi ve modellemesi çercevesinde pattern modellerin geliştirilmesi üzerine odaklanmıştır. Dahası, Referans mimarisini belirleyen ve Üretim proseslere rehberlik eden pattern modelleri, ilgisi olamayan komponentler arasındaki ilişkiyi kurup prosesin ana elemanlarını tanımlar. Bu çalışmamda içeriği sağlamak için elektronik ticaret konusunda uluslararası camia tarafından Kabul gören Renkli Petri ağları ve UML dili şeçilmiştir.Enterprises today are faced with a rapidly changing environment. There is a need for better process management and increased integration, and enterprise modeling is necessary for proper management. The goal of process modeling is to improve understanding of what happens in the process system, enhance performance evaluation of some parts of the process, support decision-making activities and encourage changes for continuous improvement. Therefore, efficient information technology is required to support the availability of information in the enterprise. In an effort to achieve the integration of models aimed at supporting various facets of organizational management, this project focused on the development of pattern modeling in the context of reference architectures and methodologies. Furthermore the Pattern models, that underlie various reference architectures and the guidelines on modeling manufacturing processes, specifies the main elements of an process and provides a relation between its interrelated components. To provide the context that this work was performed in, Colored Petri Nets and UML which were selected because they result from and are promoted by the major international coalition in the area of e-commerce.Yüksek LisansM.Sc

Colored model based testing for software product lines (CMBT-SWPL)

Over the last decade, the software product line domain has emerged as one of the mostpromising software development paradigms. The main benefits of a software product lineapproach are improvements in productivity, time to market, product quality, and customersatisfaction.Therefore, one topic that needs greater emphasis is testing of software product lines toachieve the required software quality assurance. Our concern is how to test a softwareproduct line as early as possible in order to detect errors, because the cost of error detectedIn early phases is much less compared to the cost of errors when detected later.The method suggested in this thesis is a model-based, reuse-oriented test technique calledColored Model Based Testing for Software Product Lines (CMBT-SWPL). CMBT-SWPLis a requirements-based approach for efficiently generating tests for products in a soft-ware product line. This testing approach is used for validation and verification of productlines. It is a novel approach to test product lines using a Colored State Chart (CSC), whichconsiders variability early in the product line development process. More precisely, the vari-ability will be introduced in the main components of the CSC. Accordingly, the variabilityis preserved in test cases, as they are generated from colored test models automatically.During domain engineering, the CSC is derived from the feature model. By coloring theState Chart, the behavior of several product line variants can be modeled simultaneouslyin a single diagram and thus address product line variability early. The CSC representsthe test model, from which test cases using statistical testing are derived.During application engineering, these colored test models are customized for a specificapplication of the product line. At the end of this test process, the test cases are generatedagain using statistical testing, executed and the test results are ready for evaluation. Inxaddition, the CSC will be transformed to a Colored Petri Net (CPN) for verification andsimulation purposes.The main gains of applying the CMBT-SWPL method are early detection of defects inrequirements, such as ambiguities incompleteness and redundancy which is then reflectedin saving the test effort, time, development and maintenance costs

Reasoning about Goal-Plan Trees in Autonomous Agents: Development of Petri net and Constraint-Based Approaches with Resulting Performance Comparisons

Multi-agent systems and autonomous agents are becoming increasingly important in current computing technology. In many applications, the agents are often asked to achieve multiple goals individually or within teams where the distribution of these goals may be negotiated among the agents. It is expected that agents should be capable of working towards achieving all its currently adopted goals concurrently. However, in doing so, the goals can interact both constructively and destructively with each other, so a rational agent must be able to reason about these interactions and any other constraints that may be imposed on them, such as the limited availability of resources that could affect their ability to achieve all adopted goals when pursuing them concurrently. Currently, agent development languages require the developer to manually identify and handle these circumstances. In this thesis, we develop two approaches for reasoning about the interactions between the goals of an individual agent. The first of these employs Petri nets to represent and reason about the goals, while the second uses constraint satisfaction techniques to find efficient ways of achieving the goals. Three types of reasoning are incorporated into these models: reasoning about consumable resources where the availability of the resources is limited; the constructive interaction of goals whereby a single plan can be used to achieve multiple goals; and the interleaving of steps for achieving different goals that could cause one or more goals to fail. Experimental evaluation of the two approaches under various different circumstances highlights the benefits of the reasoning developed here whilst also identifying areas where one approach provides better results than the other. This can then be applied to suggest the underlying technique used to implement the reasoning that the agent may want to employ based on the goals it has been assigned