Formal Methods for Industrial Critical Systems: 19th by Frédéric Lang, Francesco Flammini

By Frédéric Lang, Francesco Flammini

This publication constitutes the complaints of the nineteenth foreign convention on Formal equipment for business serious platforms, FMICS 2014, held in Florence, Italy, in September 2014. The thirteen papers offered during this quantity have been conscientiously reviewed and chosen from 26 submissions. they're prepared in topical sections named: cyber-physical structures; computing device networks; railway keep watch over platforms; verification equipment; and and software program testing.

Show description

Read or Download Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings PDF

Similar compilers books

Constraint Databases

This booklet is the 1st complete survey of the sphere of constraint databases. Constraint databases are a pretty new and lively quarter of database examine. the main concept is that constraints, similar to linear or polynomial equations, are used to symbolize huge, or maybe limitless, units in a compact manner.

Principles of Program Analysis

Software research makes use of static recommendations for computing trustworthy information regarding the dynamic habit of courses. functions contain compilers (for code improvement), software program validation (for detecting mistakes) and variations among info illustration (for fixing difficulties reminiscent of Y2K). This ebook is exclusive in delivering an summary of the 4 significant ways to software research: info movement research, constraint-based research, summary interpretation, and kind and influence structures.

R for Cloud Computing: An Approach for Data Scientists

R for Cloud Computing appears to be like at a few of the projects played by way of company analysts at the machine (PC period) and is helping the consumer navigate the wealth of knowledge in R and its 4000 programs in addition to transition a similar analytics utilizing the cloud. With this knowledge the reader can choose either cloud owners and the occasionally complicated cloud surroundings in addition to the R applications that could support procedure the analytical projects with minimal attempt, fee and greatest usefulness and customization.

Additional resources for Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

Sample text

1 Introduction This paper reports on a case study involving a Digital Hydraulic Power Management System (DHPMS), which is a universal flow source for hydraulic systems [12]. Such systems are based on a digital pump-motor technology, where the flow can be shared between several outlets with arbitrary pressure levels. The pumping pistons of the DHPMS are controlled actively by on/off valves. This system represents a common type of cyber-physical systems, where actions need to be taken with high accuracy with respect to a rotation angle of an axle.

For the full details regarding the assertion language and the monitoring algorithms for STL, we refer the reader to [20]. Assertion-Based Monitoring in Practice 21 We consider the STL logic with both future and past operators, interpreted over a finite multi-dimensional signal w. A signal w is a partial function w : T → Bm ×Rn , where T is the interval [0, d) denoting a time domain of duration d. Let X = {x1 , . . , xm } be the set of real valued variables and P = {p1 , . . , pn } the set of STL propositions.

The computational platform used in the system is an embedded single-core CPU. The length of the polling period should be short enough to achieve good precision for triggering of valves. Unfortunately reduction of the length of the polling period is limited by the OS and usually cannot be less than 50-100 Ñs. Further reduction of the period causes unacceptable high CPU load even for controlling of a single valve. This can lead to deadline misses in valve triggering, which is unsafe for the hydraulics.

Download PDF sample

Rated 4.23 of 5 – based on 26 votes