Towards a Framework for Behavioral Specifications of OSGi Components

Blech, Jan Olaf

doi:10.4204/eptcs.108.6

Cited by 7 publications

(5 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…

…”

supporting

confidence: 81%

“…We present an overview on OSGi following our description in [10] and refer to our semantics report [8] for our approach to cover the semantics of OSGi (parts of this has also been published in [9]). The OSGi framework is a component and service platform for Java.…”

Section: Osgimentioning

confidence: 99%

“…This section presents our implementation work on BehT: the Eclipse based framework for behavioral types of OSGi components. Some parts are already published in [9].…”

Section: Beht: An Eclipse Based Framework For Behavioral Typesmentioning

confidence: 99%

See 2 more Smart Citations

On Behavioral Types for OSGi: From Theory to Implementation

Blech¹,

Rueß²,

Schätz³

2013

Preprint

Self Cite

View full text Add to dashboard Cite

This report presents our work on behavioral types for OSGi component systems. It extends previously published work [8,9,10,11] and presents features and details that have not yet been published. In particular, we cover a discussion on behavioral types in general, and Eclipse based implementation work on behavioral types . The implementation work covers: editors, means for comparing types at development and runtime, a tool connection to resolve incompatibilities, and an AspectJ based infrastructure to ensure behavioral type correctness at runtime of a system. Furthermore, the implementation comprises various auxiliary operations. We present some evaluation work based on examples.

show abstract

“…

…”

supporting

confidence: 81%

Section: Osgimentioning

confidence: 99%

See 1 more Smart Citation

On Behavioral Types for OSGi: From Theory to Implementation

Blech¹,

Rueß²,

Schätz³

2013

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…In the future, we want to further study and emphasize the compositionality of probabilistic spatial behavior definitions, i.e., of systems composed of appropriately logically detailed subsystems. We plan to advance the description logic as well as the introduction of a probabilistic spatial behavioral type infrastructure that extends previous work [4,5].…”

Section: Resultsmentioning

confidence: 91%

Towards Verifying Safety Properties of Real-Time Probabilistic Systems

Han¹,

Blech²,

Herrmann³

et al. 2014

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven engineering method for reactive systems SPACE and its tool-set Reactive Blocks that provide an extension to support the modeling and verification of real-time behaviors. The approach facilitates the composition of system models from reusable building blocks as well as the verification of functional and real-time properties and the automatic generation of Java code. In this paper, we describe the extension of the tool-set to enable the modeling and verification of probabilistic real-time system behavior with the focus on spatial properties that ensure system safety. In particular, we incorporate descriptions of probabilistic behavior into our Reactive Blocks models and integrate the model checker PRISM which allows to verify that a real-time system satisfies certain safety properties with a given probability. Moreover, we consider the spatial implication of probabilistic system specifications by integrating the spatial verification tool BeSpaceD and give an automatic approach to translate system specifications to the input languages of PRISM and BeSpaceD. The approach is highlighted by an example.Comment: In Proceedings FESCA 2014, arXiv:1404.043

show abstract

“…Theorem prover export and interactive verification of properties were studied in and may be an issue for future work together with human-factor analysis. Checking compatibility and means to make behavioral system descriptions compatible were examined in (Blech, 2013). For checking the spatio-temporal properties in our scenarios we incorporate the Be-SpaceD (Blech and Schmidt, 2013) tool.…”

Section: Human Factors and Formal Modelsmentioning

confidence: 99%

Cyber-Virtual Systems: Simulation, Validation & Visualization

Blech¹,

Spichkova²,

Peake³

et al. 2014

Preprint

Self Cite

View full text Add to dashboard Cite

We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance. System models may represent an existing physical part -for example an existing robot installation -and a software simulated part -for example a possible future extension. We call such systems cyber-virtual systems. In this paper, we present the existing VITELab infrastructure for visualization tasks in industrial automation. The new methodology for simulation and validation motivated in this paper integrates this infrastructure. We are targeting scenarios, where industrial sites which may be in remote locations are modeled and visualized from different sites anywhere in the world. Complementing the visualization work, here, we are also concentrating on software modeling challenges related to cyber-virtual systems and simulation, testing, validation and verification techniques for them. Software models of industrial sites require behavioural models of the components of the industrial sites such as models for tools, robots, workpieces and other machinery as well as communication and sensor facilities. Furthermore, collaboration between sites is an important goal of our work.1 VITELab is an eResearch facility of the Australia-India Research Centre for Automation Software Engineering (AICAUSE), a partnership between RMIT University and the ABB Group (Australia and India), http://rmit. edu.au/research/aicause.

show abstract

Towards a Framework for Behavioral Specifications of OSGi Components

Cited by 7 publications

References 17 publications

On Behavioral Types for OSGi: From Theory to Implementation

On Behavioral Types for OSGi: From Theory to Implementation

Towards Verifying Safety Properties of Real-Time Probabilistic Systems

Cyber-Virtual Systems: Simulation, Validation & Visualization

Contact Info

Product

Resources

About