Software quality can only be assessed through efficient, effective testing. The most promising automated testing techniques and tools are steaming from model-based and property-based testing areas. However, to date, there has been no successful characterization of software quality non-functional properties such as security, that can be used in such a way. We know these quality properties will make a difference in the next generation of highly critical, autonomous software, so we need to ask ourselves: what do we need a risk model to include, in order to be able to automatically derive tests from it?
The communication presentations (keynote talks and posters) will be continuously in May and June.
Dr. Laura M. Castro is an Assistant Professor at the University of A Coruña (Spain), member of the Models and Applications of Distributed Systems research group. Her research focuses on software testing (automated, model and property-based testing), applied to software in general, and distributed, concurrent, functional systems in particular.
|CHIST-ERA Conference 2014 - Laura M. Castro.pdf||115.9 KB|
Mara Pudane is Researcher at the Riga Technical University. The research interests of Mara Pudane include Viable Systems Model, Multi-Robot Systems, Intelligent Autonomous Systems, Emotional Agents, Human Behaviour Simulation.
Currently autonomous robotic systems are designed for operation in environments defined by designers therefore suffering from limited knowledge of the designers which do not reflect the full spectrum of environments features and dynamics. The objective of the project is to create a framework for highly adaptive and long-term operation capable robotic system (including multi-robot) design using the Viable Systems Model as a core concept to achieve system’s adaptation. The framework will be based on a model which specifies the functions that are needed to implement adaptation to the changes in the environment and the system itself. The fundamental breakthrough provided by the project will be the new level of adaptation and autonomy of robotic systems.
|CHIST-ERA Conference 2014 - Mara Pudane.pdf||392.04 KB|
Dr. Kiran is a Research Fellow in Cloud Computing at the Department of Computer Science, University of Sheffield in United Kingdom. Her research interests include Cloud Computing, Agent-Based Modelling, Risk Assessment, Trust and Risk on SLAs in Clouds, Security Issues, Market Behaviour Algorithms, Game Theory, Parallelisation, Multi-Objective Optimisation Techniques, Verification and Testing, Evolutionary Computation, Economic Systems, Socioeconomic and Biology Modelling and Social Networks.
The ever changing world for fast connectivity and information at our finger tips is driving the movement towards Cloud computing and Big Data mechanisms to make all information open information. Although, information is power, in some cases such as the NHS pulling out a month before, has raised concerns in the security to protect individual identities. There is a need to have a risk aware guidance of what can be made open and how with mechanisms put in place to make sure data is not compromised across the dynamic nature of networks and connectivity mechanisms.
Dr. Mehmet Aktas is Assistant Professor at the Yildiz Technical University in Turkey. His research interests include Systems Science (distributed systems, web-based systems and grid computing); Data Science (data/web mining and information retrieval).
The convergence between the cyber and physical worlds generates new challenges for handling the information flowing between the cyber and physical worlds. Huge amount of information will be generated by several sources both in the physical (e.g., by environmental phenomena) and in the virtual world (by sensors, RFIDs, etc.), which need to be stored for future processing. In order to use this huge amount of heterogeneous data coming from a variety of sources, the quality of such data needs to be evaluated and taken into consideration before using it.
Provenance collection is an important component of enhancing the long-term preservation of digital data in the physical sciences and beyond. For the collections to have lasting value, however, and not all collections of data were intended to have lasting value, the data must have undergone some level of preservation. Usually the data pre-processing, such as data calibration, is fulfilled by external systems. Therefore, it is necessary to take into account the provenance information from both outside and inside the datasets. Besides, simply tracking what happened in history is far from enough. Tasks including maintaining lineage of data and the ability to use various versions of them should be involved as well.
Our provenance research has a major focus on instrumentation that minimizes perturbation on an application and minimizes the burden on the application programmer. The preservation step we focus on is automating the process of gathering of provenance about data. Data provenance is the lineage of a data product or collection of data and applies to observational and imagery data arriving in real time from cyber-physical systems, particularly from sensors, networks of sensors, and instruments; results from computational models and data mining; field studies such as documenting human use of a plot of land over time; regional positional data; scholarly reports in journals, etc. The larger context in which our research is carried out is enhancing the preservation record for the digital data coming from cyber-physical world. The drawback to minimized instrumentation and human burden costs is loss of provenance completeness or quality. This research focusses on trustworthy cyber-physical systems by putting emphasis on the Quality of Information by analyzing the Provenance Aspect.
|CHIST-ERA Conference 2014 - Mehmet Aktas.pdf||840.78 KB|
Dr. Suresh Perinpanayagam is Lecturer at the University of Cranfield in the United Kingdom. His research interests include Aerospace, Autonomous Systems, Automotive, Mechatronics and Advanced Controls, Electric & Hybrid Vehicles, Integrated Vehicle Health Management, Energy, Electric Power Machines and Grid Systems for Energy, Environment, Monitoring and Environmental Informatics, Manufacturing, Through-life Engineering Services, Sensor Technologies.
In large-scale engineering and vehicular systems (aircraft, rail/road) as well, the trend is toward the use of network embedded for measurement and control components in order to enable autonomous behavior. Autonomous systems need to know their own current internal state and predict their potentially future state, so that their own capabilities and limitations are understood. In consequence, achieving adaptive, self-health awareness is crucially important for autonomous systems when operating in complex environments. The focus of this proposal is a mission-centric function of self-health awareness and its interpretation as an autonomous, intelligent, multi-agent system. In particular, an aircraft requires constant assessment of its health status in order to determine the future course of its actions. The health assessment is supervised by and assists the human factor in taking adequate decisions.
The goal of an autonomous, intelligent, multi-agent, self-health aware system is to reliably inform the platform about its current capabilities, thus allowing it to make a rational and informed decision about mission feasibility in the light of platform health information. This change of focus from advising a human decision maker to informing an autonomous on-board decision of the platform will require a shift in the design paradigm with emphasis on efficient and reliable operation of the platform as a self-contained unit. The autonomous, intelligent, multi-agent, self-health aware system will enable not only detection and understanding of critical failures, but will also enable autonomous response to malfunctions, mitigation of the impacts of failures on the mission, and more efficient planning and scheduling systems. The agents can adaptively focus on the platform's regions that warrant more attention in order to recommend a maintenance activity, a system reconfiguration or a system action. In particular, the network of aircrafts will autonomously take decisions by quickly reacting to its state changes, thus replicating the coordination and decision making of the human factor.
The main aim of this proposal is to produce a rigorous, yet practical, design framework for a self-health awareness system interpreted as a decentralised, autonomous multi-agent system which will: provide intelligent monitoring, enable reconfiguration and recovery operations, and allow efficient adaptive reasoning in complex environments. An agent-based system will extend the current notions of health management, especially at the higher levels: fusion, decision-aiding, reconfiguration, and will address the aspects of self-health awareness more effectively than current systems.
|CHIST-ERA Conference 2014 - Suresh Perinpanayagam.pdf||832.56 KB|
Sylvain Hallé is Assistant Professor at Université du Québec at Chicoutimi in Canada. His research interests include Web Services, Formal Methods, Model Checking, Computer Networks, Logic, AI, Formal Aspects of XML Query Languages.
In recent years, formal methods have proved to be important concepts for the testing, verification and validation of various kinds of computer systems. It is expected that important gains in terms of quality, safety and efficiency can be achieved through the formalization and automation of techniques such as trace analysis, runtime monitoring, behavioural specification and model-based testing.
|CHIST-ERA Conference 2014 - Sylvain Hallé.pdf||38.34 KB|
Dr. Tobias Oechtering is an Associate Professor in the Communication Theory Lab of KTH in Sweden. His research interests include Information Theory (in particular network information theory and security), Communications (in particular in wireless communication), Statistical Inference (in particular distributed detection and privacy), Signal Processing & Algorithms, Networked control.
Remote sensing is highly relevant for information gathering in future cyber-physical systems. However, privacy of the sensed information may be compromised during the communication. A privacy-aware system design of sensing and communication is therefore of uttermost importance for future trustworthy cyber-physical systems.
|CHIST-ERA Conference 2014 - Tobias Oechtering.pdf||146.22 KB|
- ‹ previous
- 2 of 2