Related Books

Quantitative Modeling and Analysis of Service-oriented Real-time Systems Using Interval Probabilistic Timed Automata
Language: en
Pages: 54
Authors: Krause, Christian
Categories: Computers
Type: BOOK - Published: 2012 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

One of the key challenges in service-oriented systems engineering is the prediction and assurance of non-functional properties, such as the reliability and the
Interval Probabilistic Timed Graph Transformation Systems
Language: en
Pages: 64
Authors: Maria Maximova
Categories: Computers
Type: BOOK - Published: 2022-05-19 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Int
Scalable Compatibility for Embedded Real-time Components Via Language Progressive Timed Automata
Language: en
Pages: 82
Authors: Stefan Neumann
Categories: Computers
Type: BOOK - Published: 2013 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional behavio
The JCop language specification : Version 1.0, April 2012
Language: en
Pages: 60
Authors: Malte Appeltauer
Categories: Computers
Type: BOOK - Published: 2012 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Program behavior that relies on contextual information, such as physical location or network accessibility, is common in today's applications, yet its represent
HPI Future SOC Lab : proceedings 2011
Language: en
Pages: 92
Authors: Meinel, Christoph
Categories: Computers
Type: BOOK - Published: 2013 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Together with industrial partners Hasso-Plattner-Institut (HPI) is currently establishing a “HPI Future SOC Lab,” which will provide a complete infrastructu