Výsledky vyhledávání - "Formal Methods Applied to Complex Systems: Implementation of the B Method"

From Animation to Data Validation: The ProB Constraint Solver 10 Years On Autor Leuschel, Michael, Bendisposto, Jens, Dobrikov, Ivo, Krings, Sebastian, Plagge, Daniel

“…Various solvers are linked via reification and Prolog co‐routines. The overall challenge of ProB is to solve constraints in full predicate logic with…”
Získat plný text

Formal Methods Applied to Complex Systems Autor Boulanger, Jean‐louis, Aljer, Ammar, Mariano, Georges

Získat plný text

Unified Train Driving Policy Autor Iliasov, Alexei, Lopatkin, Ilya, Romanovsky, Alexander

“…This chapter presents a domain‐specific formal modeling language uniformly addressing fixed and moving block principles in both discrete and continuous…”
Získat plný text

Atelier B Autor Lecomte, Thierry

“…Atelier B has been used on many occasions in developing safety programs that are used for functions at the SSIL3 and SSIL4 levels. The RIMEL project7 involved…”
Získat plný text

Formalization of Digital Circuits Using the B Method Autor Boulanger, Jean‐Louis

“…This chapter shows how it is possible to combine the advantages of the B method in order to design a secure digital circuit that may be easily developed and…”
Získat plný text

Conclusion

Získat plný text

B Extended to Floating‐Point Numbers: Is it Sufficient for Proving Avionics Software? Autor Dufour, Jean‐Louis

“…In the railway sector, the economic balance between test and proof is neutral: it has not been proven that B reduces costs, but it clearly reduces technical…”
Získat plný text

B‐RAIL: UML to B Transformation in Modeling a Level Crossing Autor Boulanger, Jean‐Louis

“…This chapter considers level crossings, which constitute a critical sub‐system. It proposes a modeling methodology based on the pairing of a semi‐formal…”
Získat plný text

B Tools Autor Boulanger, Jean‐Louis

“…This chapter presents different types of tools used for the implementation of the B language. Both the commercial and freely‐distributed versions of Atelier B…”
Získat plný text

BRILLANT/BCaml — A Free Tools Platform for the B Method Autor Colin, Samuel, Petit, Dorian

“…BRILLANT is a collaborative tool collection associated with the B formal language. The collection is centered around one particular tool known as BCaml. The…”
Získat plný text

Translating B and Event‐B Machines to Java and JML Autor Cataño, Néstor, Rivera, Víctor, Rueda, Camilo, Wahls, Tim

“…This chapter provides a brief introduction to B, Event‐B and Java Modeling Language (JML). It presents the B2Jml and EventB2Java tools, including descriptions…”
Získat plný text

The B Method at Siemens Autor Dolle, Daniel

“…Siemens SAS Industry Mobility is an international center of excellence for the creation of fully automatic subway systems and is a world leader in automated…”
Získat plný text

Presentation of the B Method Autor Boulanger, Jean‐Louis

“…A complete course on the B method is beyond the scope of the current chapter; however, have been able to present the basic principles of this formal method. A…”
Získat plný text

Feasibility of the Use of Formal Methods for Manufacturing Systems Autor Lamy, Pascal, Charpentier, Philippe, Petin, Jean‐François, Evrot, Dominique

“…In the manufacturing domain, if programmable logic controllers (PLC) are used to manage safety functions, these systems need to be more reliable when faced…”
Získat plný text

Industrial Applications for Modeling with the B Method Autor Lecomte, Thierry

“…The B method was introduced at the end of the 1980s to produce software that is correct by construction. This chapter discusses the uses of B method for…”
Získat plný text

Pragmatic Use of B: The Power of Formal Methods without the Bulk Autor Metayer, Christophe, Bustany, François, Clabaut, Mathieu

“…The aim of this chapter is to show that practices widely used in classic developments can also be applied in the context of formal processes, facilitating…”
Získat plný text

Event B Autor Méry, Dominique, Singh, Neeraj Kumar

“…This chapter provides results on the modeling and verification of systems using transition systems. The goal is to provide the basic fundamental and conceptual…”
Získat plný text