-
Notifications
You must be signed in to change notification settings - Fork 30
Team
jastram edited this page Aug 23, 2012
·
16 revisions
This page lists all known team members and their expertise in alphabetical order (by first name):
| Company | gitHub |
|---|---|
| Frauenhofer Gesellschaft (FhG) | astante |
- Project Leader of openETCS
Expertise in the railway sector
- Homologation of railway vehicles in Germany and Austria
- Creation of test specification for the detection of customer and safety requirements
- Planning and execution of tests of control software in laboratory and on railway vehicles
- Creation of hazard- and safety analysis
- Support for the evaluation of software according to EN 50128
- Consulting and implementation of standards compliant development processes according to
- EN 50126, EN 50128 and EN 50129
- Evaluation of the safety integrity of soft-and hardware
- I took part in the Development of the International Requirement List (European list of requirements for railway vehicles with the countries Germany, Italy, Netherlands, Austria and Switzerland) Expertise in the railway sector
- Assessor of the German Federal Railway Authority (EBA) for functional tests of railway vehicles and safety of computer-aided systems ID-No.: 05 E 33 B 002
- Assessor of the German Federal Railway Authority (EBA) for safety of computer-aided systems - vehicle control systems ID-No.: 31/02/019
- Assessor of the BMVIT (Federal Ministry of Traffic, Innovation and Technology, Austria) for expertises according § 31 EisbG (all extensive expertises) and §32 EisbG functional safety of railway vehicles
- Active member of the working group Task Force Interoperability (TFI) of the countries Germany, Austria, Switzerland, Italy and the Netherlands
- Active member of the working group Software, which is initiated and led of the German Federal Railway Authorities (EBA)
- Active member of the internal working group of the EBA for the definition of functional safety goals of railway vehicles
| Company | gitHub |
|---|---|
| Formal Mind GmbH (FM) | jastram |
- Project lead of the toolchain workpackage (WP3a).
- Project lead of the Eclipse RMF project and extensive experience with the B and Event-B formalisms, as well as the Rodin platform for Event-B (Eclipse-based open source) and ProB (open source model checker for various formalisms.
Expertise in the railway sector
- Assessor of the German Federal Railway Authority (EBA) for functional tests of railway vehicles and safety of computer-aided systems ID-No.: 05 E 33 B 002
- Assessor of the German Federal Railway Authority (EBA) for safety of computer-aided systems - vehicle control systems ID-No.: 31/02/019
- Assessor of the BMVIT (Federal Ministry of Traffic, Innovation and Technology, Austria) for expertises according § 31 EisbG (all extensive expertises) and §32 EisbG functional safety of railway vehicles
- Active member of the working group Task Force Interoperability (TFI) of the countries Germany, Austria, Switzerland, Italy and the Netherlands
- Active member of the working group Software, which is initiated and led of the German Federal Railway Authorities (EBA)
- Active member of the internal working group of the EBA for the definition of functional safety goals of railway vehicles
I took part in designing http://www.ertmssolutions.com/ertms-formalspecs/ I am in contact with WP2 leaders (SNCF), and already suggested to include in their study our tool ERTMSFormalSpecs (http://www.ertmssolutions.com/ertms-formalspecs/). I suggest to include ERTMSFormalSpecs.
We are implementing safety related software for rail systems and want to bring in the tool chain user's point of view: Requirements to the tool chain, but not develop the tool chain ourselves.