Nya Industrilogik offers services concerning the purchasing and development process for safety critical systems, especially parts that can be automated and parts where formal methods can be used.
We have experience in several areas where safety and efficiency are crucial, foremost in the area of safety critical systems for the railways.
We review the whole or parts of your development process and propose how the process can be changed in order to get a more safe, efficient and generic process. An integral part is often to make the safety argumentation for the process more evident.
We work as project managers in the area and do verification and validation for specific systems, for hardware as well as software systems.
We also give courses in the area of formal methods and safety critical systems for companies who want to be introduced to the field or want to improve their employees competence in the field.