Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Tiziana Margaria, Bernhard Steffen
Springer Science & Business Media, Oct 19, 2010 - Computers - 498 pages
The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. The 100 revised full papers presented were carefully revised and selected from numerous submissions and discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. The 46 papers of the first volume are organized in topical sections on new challenges in the development of critical embedded systems, formal languages and methods for designing and verifying complex embedded systems, worst-case traversal time (WCTT), tools in scientific workflow composition, emerging services and technologies for a converging telecommunications / Web world in smart environments of the internet of things, Web science, model transformation and analysis for industrial scale validation, and learning techniques for software verification and validation. The second volume presents 54 papers addressing the following topics: EternalS: mission and roadmap, formal methods in model-driven development for service-oriented and cloud computing, quantitative verification in practice, CONNECT: status and plans, certification of software-driven medical devices, modeling and formalizing industrial software for verification, validation and certification, and resource and timing analysis.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
ABS language abstract activities adaptation adaptor algebra algorithm annotations application approach architecture automata automated automaton behavior Berlin Heidelberg 2010 bisimulation BPEL cardiac pacemaker certiﬁcation client communication components Computer conﬁguration Connect connector constraints covering array deﬁned Deﬁnition dependencies diﬀerent distribution dynamic eﬀects embedded systems encoded event streams example execution ﬁeld ﬁles ﬁnal ﬁnd ﬁnite ﬁrst ﬂow formal methods function Heidelberg identiﬁed IEEE implementation input interaction interfaces interoperability ISoLA language latency Linux LNCS Margaria mediator medical devices memory middleware mismatches mode model checking networked systems ontology operation pacemaker parameters performance phase POOSL probabilistic problem properties protocols RapidIO real-time systems reﬁnement requirements resource runtime satisﬁed scenario Section semantics sensor node Server simulation software engineering source-level speciﬁcation Springer structure synchronization task techniques tion tool traﬃc transition triv Uppaal variables veriﬁcation WCET Web Services worst-case worst-case execution