| 1. |
- Hedin, Daniel, 1978, et al.
(författare)
-
A Principled Approach to Tracking Information Flow in the Presence of Libraries
- 2017
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783662544549 ; 10204, s. 49-70
-
Konferensbidrag (refereegranskat)abstract
- There has been encouraging progress on information flow control for programs in increasingly complex programming languages, tracking the propagation of information from input sources to output sinks. Yet, programs are typically deployed in an environment with rich APIs and powerful libraries, posing challenges for information flow control when the code for these APIs and libraries is either unavailable or written in a different language.This paper presents a principled approach to tracking information flow in the presence of libraries. With the goal to strike the balance between security and precision, we present a framework that explores the middle ground between the “shallow”, signature-based modeling of libraries and the “deep”, stateful approach, where library models need to be supplied manually. We formalize our approach for a core language, extend it with lists and higher-order functions, and establish soundness results with respect to the security condition of noninterference.
|
|
| 2. |
- Johnsen, Andreas, et al.
(författare)
-
An Architecture-Based Verification Technique for AADL Specifications
- 2011
-
Konferensbidrag (refereegranskat)abstract
- Quality assurance processes of software-intensive systems are an increasing challenge as the complexity of these systems dramatically increases. The use of Architecture Description Languages (ADLs) provide an important basis for evaluation. The Architecture Analysis and Design Language (AADL) is an ADL developed for designing software intensive systems. In this paper, we propose an architecture-based verification technique covering the entire development process by adapting a combination of model-checking and model-based testing approaches to AADL specifications. The technique reveals inconsistencies of early design decisions and ensures a system's conformity with its AADL specification. The objective and criteria (test-selection) of the verification technique is derived from traditional integration testing.
|
|
| 3. |
|
|
| 4. |
- Schwierz, A., et al.
(författare)
-
Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics
- 2018
-
Konferensbidrag (refereegranskat)abstract
- The usage of complex Microcontroller Units (MCUs) in avionics systems constitutes a challenge in assuring their safety. They are not always developed according to the assurance requirements accepted by the aerospace industry. These Commercial off-the-shelf (COTS) hardware components usually target other domains like the telecommunication branch, because of the volume of sales and reduced liability. In the last years MCUs developed in compliance to the ISO 26262 have been released on the market for safety-related automotive applications. The avionics market could profit taking credit for some of the activities conducted in developing these MCUs. In this paper we present evaluation results based on comparing assurance activities from ISO 26262 that could be considered for compliance to relevant assurance guidance for COTS MCU in avionics.
|
|
| 5. |
- Kristoffersson, Annica, 1980-, et al.
(författare)
-
Sense of presence in a robotic telepresence domain
- 2011
-
Ingår i: Universal access in human-computer interaction: users diversity, PT 2. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 9783642216626 ; , s. 479-487
-
Konferensbidrag (refereegranskat)abstract
- Robotic telepresence offers a means to connect to a remote location via traditional telepresence with the added value of moving and actuating in that location. Recently, there has been a growing focus on the use of robotic telepresence to enhance social interaction among elderly. However for such technology to be accepted it is likely that the experienced presence when using such a system will be important. In this paper, we present results obtained from a training session with a robotic telepresence system when used for the first time by healthcare personnel. The study was quantitative and based on two standard questionnaires used for presence namely, the Temple Presence Inventory (TPI) and the Networked Minds Social Presence Intentory. The study showed that overall the sense of social richness as perceived by the users was high. The users also had a realistic feeling regarding their spatial presence.
|
|
