Modelling Security of Critical Infrastructures: A Survivability Assessment

Critical infrastructures, usually designed to handle disruptions caused by human errors or random acts of nature, define assets whose normal operation must be guaranteed to maintain its essential services for human daily living. Malicious intended attacks to these targets need to be considered during system design. To face these situations, defence plans must be developed in advance. In this paper, we present a Unified Modelling Language profile, named SecAM, that enables the modelling and security specification for critical infrastructures during the early phases (requirements, design) of system development life cycle. SecAM enables security assessment, through survivability analysis, of different security solutions before system deployment. As a case study, we evaluate the survivability of the Saudi Arabia crude-oil network under two different attack scenarios. The stochastic analysis, carried out with Generalized Stochastic Petri nets, quantitatively estimates the minimization of attack damages on the crude-oil network

Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach

International audienceThe EU Future and Emerging Technologies (FET) Project Connect aims at dropping the heterogeneity barriers that prevent the eternality of networking systems through a revolutionary approach: to synthesise on-the-y the Connectors via which networked systems communicate. The Connect approach, however, comes at risk from the standpoint of dependability, stressing the need for methods and tools that ensure resilience to faults, errors and malicious attacks of the dynamically Connected system. We are investigating a comprehensive approach, which combines dependability analysis, security enforcement and trust assessment, and is centred around a lightweight adaptive monitoring framework. In this project paper, we overview the research that we are undertaking towards this objective and propose a unifying workflow process that encompasses all the Connect dependability/security/trust concepts and models

The 14th Overture Workshop: Towards Analytical Tool Chains

This report contains the proceedings from the 14th Overture workshop organized in connection with the Formal Methods 2016 symposium. This includes nine papers describing different technological progress in relation to the Overture/VDM tool support and its connection with other tools such as Crescendo, Symphony, INTO-CPS, TASTE and ViennaTalk

Sustainability in design: now! Challenges and opportunities for design research, education and practice in the XXI century

Copyright @ 2010 Greenleaf PublicationsLeNS project funded by the Asia Link Programme, EuropeAid, European Commission

Developing methods of resilience for design practice

It was noted by the researcher that living and working in Puerto Rico, in what are politically and socio-economically difficult and sometimes threatening conditions, at the time of this programme of research, there was something to be learnt from those designers who exhibited resilience to stressful events. Therefore, the specific purpose of this practice-led programme of research was to understand designers’ decision-making processes when under political and socio-economic stressors and question how they can make strategically successful decisions that enable them to thrive. The first objective was to identify and define resilient strategic thinking. To do this, the researcher reflected upon her own thinking and practices as an art director and design educator suffering the adversities of political and socio-economic disintegration in her own context. This self-reflective process revealed her use of a number of coping tools, which became the set of Real-Time Response Planning (RTRP) tools for managing adversity. The second tool’s objective was to explore the possibility of teaching strategic application of the RTRP tools to other designers who were also experiencing their own stressors. In review of designers’ engagement with these tools, the third objective was to develop an effective graphic articulation of the RTRP toolbox. This enabled the fourth objective, which was to measure the effectiveness of the RTRP toolbox in guiding designers towards radical resilience, towards bouncing forward as a more adaptive response to adverse conditions. The research was begun using the Reflective Practice and Action Research approach; however, critical review of its appropriateness within this social-political context of design practice moved the researcher to apply the Systematization of Experience method. A Systematization workshop was conducted applying Participatory Action Research and Participatory Design to the creation of the RTRP toolbox paper prototype, as a vehicle for observing the application of the RTRP tools during design practices. This programme of research found that the RTRP tools were able to positively support thriving and resilience as defined by the Resilience Theory. The toolbox successfully supported the teaching of resilience behaviours at a personal and local level, enabling the development of positive coping strategies in real-time, and informed the planning of longer-term strategies for similar adversities in the future. The current global economic crisis has left many designers with insecure futures, yet there is an expectation that they will carry on efficiently to maintain their livelihoods and lifestyles in the face of daily adversity. These RTRP tools offer designers a means of managing these experiences and help them see oportunities

Challenges for engineering students working with authentic complex problems

Engineers are important participants in solving societal, environmental and technical problems. However, due to an increasing complexity in relation to these problems new interdisciplinary competences are needed in engineering. Instead of students working with monodisciplinary problems, a situation where students work with authentic complex problems in interdisciplinary teams together with a company may scaffold development of new competences. The question is: What are the challenges for students structuring the work on authentic interdisciplinary problems? This study explores a three-day event where 7 students from Aalborg University (AAU) from four different faculties and one student from University College North Denmark (UCN), (6th-10th semester), worked in two groups at a large Danish company, solving authentic complex problems. The event was structured as a Hackathon where the students for three days worked with problem identification, problem analysis and finalizing with a pitch competition presenting their findings. During the event the students had workshops to support the work and they had the opportunity to use employees from the company as facilitators. It was an extracurricular activity during the summer holiday season. The methodology used for data collection was qualitative both in terms of observations and participants’ reflection reports. The students were observed during the whole event. Findings from this part of a larger study indicated, that students experience inability to transfer and transform project competences from their previous disciplinary experiences to an interdisciplinary setting