Back to results
US 2008/0189689 A1Published application
Method for Preparing and Checking Application Data
AssigneeAlstom Ferroviaria S.p.A.
InventorsFrancesco Tramontana, Cydney Minkowitz
Life of this patent
Estimating the term…
Loading patent…
Loading patent…
AssigneeAlstom Ferroviaria S.p.A.
InventorsFrancesco Tramontana, Cydney Minkowitz
Estimating the term…
Method for preparing and checking software means to be executed by programmable control devices or plants for carrying out processes, in which: a) a programming language for expressing the software means is provided, which language is based on an abstract syntax, particularly an object oriented syntax; b) the said programming language being generated from both the source code language and the object code language; c) expressing the control program in the said programming language; d) deriving the source code format and/or the object code format of the control program by translation of the said control program expressed in the language based on the abstract syntax into the language of the source code format and/or of the object code format of the abstract syntax.
Method for preparing and checking software means to be executed by programmable control devices or plants for carrying out processes, in which:
A method according to one or more of the preceding claims characterised in that the language based on an abstract syntax uses an object oriented syntax by using structured and formal specifications obtained by combining the UML and the VDM++ notations and by defining classes and associations that represents the various kinds of data types and the relationships between them.
A method according to one or more of the preceding claims characterised in that the class definitions also contain specifications of the semantics of the application data including specifications of the constraints that the data must satisfy in order to be interpreted correctly as well as specifications of how the data is interpreted i.e. defining the meaning of the data.
A software means to be executed by a programmable control device or plant for carrying out processes, characterised in that it is expressed in a programming language based on an abstract syntax, particularly in an object oriented syntax according to the method of one or more of the preceding claims.
A system for carrying out control processes comprising a combination of hardware means and software means, the software means being prepared and/or checked by means of the method according to one or more of the preceding claims.
Dependencies are inferred from the claim text.