Information-flow Interfaces

Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Information-flow Interfaces. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software EngineeringLNCS vol. 13241, 3–22.

Download
OA 2022_LNCS_Bartocci.pdf 479.15 KB

Conference Paper | Published | English

Scopus indexed
Author
Bartocci, Ezio; Ferrere, ThomasISTA ; Henzinger, Thomas AISTA ; Nickovic, DejanISTA; Da Costa, Ana Oliveira
Department
Abstract
Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the designer asks from the team that implements the component. A theory of formal contracts can be formalized as an interface theory, which supports the composition and refinement of both assumptions and guarantees. Although there is a rich landscape of contract-based design methods that address functional and extra-functional properties, we present the first interface theory that is designed for ensuring system-wide security properties. Our framework provides a refinement relation and a composition operation that support both incremental design and independent implementability. We develop our theory for both stateless and stateful interfaces. We illustrate the applicability of our framework with an example inspired from the automotive domain.
Publishing Year
Date Published
2022-03-29
Proceedings Title
Fundamental Approaches to Software Engineering
Acknowledgement
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 956123 and was funded in part by the FWF project W1255-N23 and by the ERC-2020-AdG 101020093.
Volume
13241
Page
3-22
Conference
FASE: Fundamental Approaches to Software Engineering
Conference Location
Munich, Germany
Conference Date
2022-04-02 – 2022-04-07
ISSN
eISSN
IST-REx-ID

Cite this

Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Information-flow Interfaces. In: Fundamental Approaches to Software Engineering. Vol 13241. LNCS. Springer Nature; 2022:3-22. doi:10.1007/978-3-030-99429-7_1
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Information-flow Interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99429-7_1
Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Information-Flow Interfaces.” In Fundamental Approaches to Software Engineering, 13241:3–22. LNCS. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-99429-7_1.
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Information-flow Interfaces,” in Fundamental Approaches to Software Engineering, Munich, Germany, 2022, vol. 13241, pp. 3–22.
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Information-flow Interfaces. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software EngineeringLNCS vol. 13241, 3–22.
Bartocci, Ezio, et al. “Information-Flow Interfaces.” Fundamental Approaches to Software Engineering, vol. 13241, Springer Nature, 2022, pp. 3–22, doi:10.1007/978-3-030-99429-7_1.
All files available under the following license(s):
Creative Commons Attribution 4.0 International Public License (CC-BY 4.0):
Main File(s)
File Name
Access Level
OA Open Access
Date Uploaded
2022-05-09
MD5 Checksum
7f6f860b20b8de2a249e9c1b4eee15cf


Export

Marked Publications

Open Data ISTA Research Explorer

Search this title in

Google Scholar
ISBN Search