Symbolic quality control for multimedia applications

Combaz, Jacques; Fernandez, Jean-Claude; Sifakis, Joseph; Strus, L.

doi:10.1007/s11241-008-9049-2

Cited by 15 publications

(20 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These include the componentization of a MPEG encoder [18] and of the control software of the DALA robot of LAAS [19]. Another case study is modeling TinyOS-based wireless sensor networks [20].…”

Section: Case Studiesmentioning

confidence: 99%

Rigorous System Design: The BIP Approach

Basu

Bensalem

Bozga

et al. 2012

Mathematical and Engineering Methods in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall coherency and correctness. The paper introduces a rigorous design flow based on the BIP (Behavior, Interaction, Priority) component framework [1]. This design flow relies on several, tool-supported, source-to-source transformations allowing to progressively and correctly transform high level application software towards efficient implementations for specific platforms. System DesignTraditional engineering disciplines such as civil or mechanical engineering are based on solid theory for building artifacts with predictable behavior over their life-time. In contrast, we lack similar constructivity results for computing engineering: computer science provides only partial answers to particular system design problems. With few exceptions in this domain, predictability is impossible to guarantee at design time and therefore, a posteriori validation remains the only means for ensuring their correct operation.System design is facing several difficulties, mainly due to our inability to predict the behavior of an application software running on a given platform. Usually, systems are built by reusing and assembling components that are, simpler subsystems. This is the only way to master complexity and to ensure correctness of the overall design, while maintaining or increasing productivity. However, system level integration becomes extremely hard because components are usually highly heterogeneous: they have different characteristics, are often developed using different technologies, and highlight different features from different viewpoints. Other difficulties stem from current design approaches, often empirical and based on expertise and experience of design teams. Naturally, designers attempt to solve new problems by reusing, extending and improving existing solutions proven to be efficient and robust. This favors component reuse and avoids re-inventing and re-discovering designs. Nevertheless, on a longer term perspective, this may also be counter-productive: designers are not always able to adapt in a satisfactory manner to new requirements. Moreover, they a priori exclude better solutions simply because they do not fit their know-how.

show abstract

Section: Case Studiesmentioning

confidence: 99%

Rigorous System Design: The BIP Approach

Basu

Bensalem

Bozga

et al. 2012

Mathematical and Engineering Methods in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Such a policy, which also observes an application variable, is the optimisation policy of eq (12), which favours User to proceed if the current value is fresh. Multiple QoS policies can be applied as is shown in lines (13)- (14) of Table 2, where the policy of eq.…”

Section: Policies For Overall System Qualitymentioning

confidence: 99%

“…Multiple QoS policies can be applied as is shown in lines (13)- (14) of Table 2, where the policy of eq. (12) has been applied to the safe system of line (8) and then the LMCS policy has been applied on top of it.…”

Section: Policies For Overall System Qualitymentioning

confidence: 99%

“…However, they do not cope with quality requirements of hard real-time tasks, which our approach handles easily. Then, [12] handles hard deadlines together with specific quality properties, but only for video encoding/decoding. Besides, the major problem with such approaches is that each QoS property has to be tackled in-dividually with a new algorithm and/or run-time system.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A model-based approach for multiple QoS in scheduling: from models to implementation

Kloukinas

Yovine

2010

Autom Softw Eng

View full text Add to dashboard Cite

This is the unspecified version of the paper.This version of the publication may differ from the final published version. Abstract Meeting multiple Quality of Service (QoS) requirements is now an important factor for the success of complex software systems. This paper presents a correct-byconstruction, automated, model-driven scheduler synthesis approach for scheduling system tasks so as to meet multiple QoS requirements. As a first step, it shows how software engineers can meet deadlock-freedom and timeliness requirements, in a manner that (i) does not over-provision resources, (ii) does not require architectural changes to the system, and that (iii) leaves enough degrees of freedom to pursue further properties. The synthesis methodology directly associates each scheduler with a specific pair of QoS property and underlying platform execution model, so as to facilitate their validation and the understanding of the overall system behaviour, required to meet further QoS properties. The paper shows how the methodology is applied in practice and also presents the implementation infrastructure needed for executing an application on top of common operating systems, without requiring modifications of the operating system. Permanent repository link

show abstract

“…An extreme example of this is job dropping where the computation is iterated 0 or 1 times. This class is comprised of methods such as the ones described in [Lee98,Com08,Abd03].…”

mentioning

confidence: 99%

Stability of Adaptive Distributed Real-TimeSystems with Dynamic Resource Management

Rafiliu¹

2013

View full text Add to dashboard Cite

T oday's embedded distributed real-time systems, are exposed to large variations in resource usage due to complex software applications, sophisticated hardware platforms, and the impact of their run-time environment. As efficiency becomes more important, the applications running on these systems are extended with on-line resource managers whose job is to adapt the system in the face of such variations. Distributed systems are often heterogeneous, meaning that the hardware platform consists of computing nodes with different performance, operating systems, and scheduling policies, linked through one or more networks using different protocols.In this thesis we explore whether resource managers used in such distributed embedded systems are stable, meaning that the system's resource usage is controlled under all possible run-time scenarios. Stability implies a bounded worst-case behavior of the system and can be linked with classic real-time systems' properties such as bounded response times for the software applications. In the case of distributed systems, the stability problem is particularly hard because software applications distributed over the different resources generate complex, cyclic dependencies between the resources, that need to be taken into account. In this thesis we develop a detailed mathematical model of an adaptive, distributed real-time system and we derive conditions that, if satisfied, guarantee its stability. vii viii Popupärvetenskaplig sammanfattning V iär omgivna av ett ständigtökande antal inbyggda datorsystem. De finns exempelvis i våra bilar, telefoner, fotokameror och tvättmaskiner. Vår förväntningär att dessa produkter ska vara säkra, effektiva samt hålla hög kvalitet på de tjänster de tillhandahåller. Detta innebär bland annat att de datorsystem som finns inbyggda i våra bilar inte får leda till att passagerare skadas eller i värsta fall mister sina liv. Av en telefon förväntar vi oss lång batteritidäven om vi använder dessa dagligen för att prata och skicka SMS, lyssna på musik, ta bilder, läsa nyheter och skicka e-post. Vi förväntar oss samtidigt att de tjänster och funktioner som finns i våra mobiltelefoner håller hög kvalitet. Alla våra krav och förväntningar kan endast uppfyllas om systemens inbyggda resurser används på ett effektivt sätt. Exempel på sådana resurserär processorer, minnen, batterier och kommunikationsmedier.I denna avhandling beskrivs hur resurser i inbyggda datorsystem bör användas och kontrolleras för att optimera dess tjänster. Vidare tas hänsyn till att ett modernt system har stora variationer i resursanvändning. Detta beror delvis på att det mångfald av tjänster som finns i dagens moderna datorsystem i allra högsta grad består av komplex programvara. Detta beroräven på den komplicerade och sofistikerade hårdvara som behövs för att stödja all inbyggd programvara ix x samt påverkan från systemets omgivning.För att kunna förlita oss på dessa inbyggda systemär det nödvändigt att studera huruvida dess resurshanterareär stabila. Denna avhandling presenterar ...

show abstract

Symbolic quality control for multimedia applications

Cited by 15 publications

References 14 publications

Rigorous System Design: The BIP Approach

Rigorous System Design: The BIP Approach

A model-based approach for multiple QoS in scheduling: from models to implementation

Stability of Adaptive Distributed Real-TimeSystems with Dynamic Resource Management

Contact Info

Product

Resources

About