163 search results - page 15 / 33 » Formal Methods for Integration of Automotive Software |
EUROMICRO
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
FM
1991
Springer
14 years 3 days ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
SERP
2010
13 years 6 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
FM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...