Modeling and analyzing resource-sensitive actors: a tutorial introduction
R Schlatte, EB Johnsen, E Kamburjan… - … Languages and Models, 2021 - Springer
Actor languages decouple communication from synchronization, which makes them suitable
for distributed and scalable applications with flexible synchronization patterns, but also …
for distributed and scalable applications with flexible synchronization patterns, but also …
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS
We demonstrate by a case study of an industrial distributed system how performance,
resource consumption, and deployment on the cloud can be formally modeled and analyzed …
resource consumption, and deployment on the cloud can be formally modeled and analyzed …
[HTML][HTML] Predicting resource consumption of Kubernetes container systems using resource models
Cloud computing has radically changed the way organizations operate their Software by
allowing them to achieve high availability of services at affordable cost. Containerized …
allowing them to achieve high availability of services at affordable cost. Containerized …
[HTML][HTML] Integrating deployment architectures and resource consumption in timed object-oriented models
EB Johnsen, R Schlatte, SLT Tarifa - … of Logical and Algebraic Methods in …, 2015 - Elsevier
Software today is often developed for many deployment scenarios; the software may be
adapted to sequential, concurrent, distributed, and even virtualized architectures. Since …
adapted to sequential, concurrent, distributed, and even virtualized architectures. Since …
Mimicking FogDirector application management
CISCO FogDirector is one of the first available tools supporting the management of the
entire life cycle of applications deployed to Fog infrastructures. In this paper, we present a …
entire life cycle of applications deployed to Fog infrastructures. In this paper, we present a …
Modeling resource-aware virtualized applications for the cloud in Real-Time ABS
EB Johnsen, R Schlatte, SL Tapia Tarifa - International Conference on …, 2012 - Springer
An application's quality of service (QoS) depends on resource availability; eg, response time
is worse on a slow machine. On the cloud, a virtualized application leases resources which …
is worse on a slow machine. On the cloud, a virtualized application leases resources which …
Formal modeling of resource management for cloud architectures: An industrial case study
We show how aspects of performance, resource consumption, and deployment on the cloud
can be formally modeled for an industrial case study of a distributed system, using the …
can be formally modeled for an industrial case study of a distributed system, using the …
Engineering virtualized services
To foster the industrial adoption of virtualized services, it is necessary to address two
important problems:(1) the efficient analysis, dynamic composition and deployment of …
important problems:(1) the efficient analysis, dynamic composition and deployment of …
Simulating concurrent behaviors with worst-case cost bounds
Modern software systems are increasingly being developed for deployment on a range of
architectures. For this purpose, it is interesting to capture aspects of low-level deployment …
architectures. For this purpose, it is interesting to capture aspects of low-level deployment …
HATS abstract behavioral specification: The architectural view
Abstract The Abstract Behavioral Specification (ABS) language is a formal, executable,
object-oriented, concurrent modeling language intended for behavioral modeling of complex …
object-oriented, concurrent modeling language intended for behavioral modeling of complex …