Developair Technologies

𝗕𝗿𝗶𝗱𝗴𝗶𝗻𝗴 𝘁𝗵𝗲 𝗚𝗮𝗽 𝗕𝗲𝘁𝘄𝗲𝗲𝗻 𝗥𝗲𝗾𝘂𝗶𝗿𝗲𝗺𝗲𝗻𝘁𝘀 𝗮𝗻𝗱 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 𝗶𝗻 𝗘𝗺𝗯𝗲𝗱𝗱𝗲𝗱 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 𝘄𝗶𝘁𝗵 𝗗𝗲𝘃𝗲𝗹𝗼𝗽𝗮𝗶𝗿 Find out how we do it. The V-model is a widely used software development methodology, especially in safety-critical industries like automotive, railway, industrial automation, medical devices, and aerospace... Read more in in the link. #SoftwareRequirements #UnitTesting #FuntionalSafety #FuSa #DO178C #IEC61508 #ISO26262 #EN50128 #IEC62304

🚀  Calling All Critical Software Developers! 🚀 At Developair, we’re embarking on an ambitious survey to uncover the top challenges faced by embedded software developers working with functional safety standards. 🔍  Why? Because we believe in sharing knowledge and empowering our community! 🤝 📊 What’s in the Survey? It’s simple: 1. Select Your Standards: Choose the functional safety standards you work with. 2. Select the SIL: Indicate the safety integrity levels of your software. 3. Rank the Challenges: Prioritize 12 common challenges—from most relevant(1) to least (12). 📢 Stay Tuned! We’ll share the results in an article with all the information.  📰 Let’s shape the future of critical software together! 🌐💡 https://lnkd.in/dBFGKxCn

Next week we will be at the 12th Embedded Real Time Software and Systems #ERTS Congress in Toulouse. We will be at booth 10, where Developair team will show our solution based on symbolic #AI that automates formal verification activities and generates functional unit test in the development of #software components for embedded systems. #ERTS2024 #SW #embeddedsystems #FunctionalSafety #FuSa #DO178 #IEC61508 #IEC62443 #ISO26262 #EN50128 ---- La próxima semana estaremos en el duodécimo Congreso de Embedded Real Time Software and Systems #ERTS en Toulouse. Estaremos en el stand 10, donde el equipo Developair podrá mostrar nuestra solución basada en #IA simbólica de automatización de las actividades de verificación formal y generación test funcionales en el desarrollo de componentes #software para sistemas embebidos.

Everything ready for ✈ Aerospace Tech WEEK 2024. Come tomorrow to our stand (S12) in the start-up area to talk about safety critical applications, automatic verification of software requirements, automatic test genetation with AI or just to say hello! #FunctionalSafety #FuSa #DO178 #UnitTesting#SW https://lnkd.in/gg_KABMx

Developair platform is highlighted as a breakthrough in Automated Verification Technology in the #EmbeddedWorld 2024 newspaper. #FunctionalSafety #FuSa #DO178 #IEC61508 #IEC62443 #ISO26262 #EN50128 See the complete newspaper at: https://lnkd.in/e7QekN5r

 It's already the last day of #EmbeddedWorld 2024, but it's not too late to come to our booth (Hall 5 - 5-276) to discover the latest developments in automatic test generation based on the functional specification. #FunctionalSafety #FuSa #DO178 #IEC61508 #IEC62443 #ISO26262 #EN50128

Everything ready for #EmbeddedWorld 2024. Come to our stand (Hall 5 - 5-276 ) to talk about safety critical applications, automatic verification of software requirements, automatic test genetation with AI or just to say hello! #FunctionalSafety #FuSa #DO178 #IEC61508 #IEC62443 #ISO26262 #EN50128

STARTUP ANNOUNCEMENT ⚡ ⚡ So thrilled to welcome Developair Technologies to Munich for ✈ Aerospace Tech WEEK ✈ Juan Carlos Rúa Seoane and his team will be presenting their platform that automates verification and validation activities of critical software. The platform contains four modules, each designed to tackle specific challenges of today's software development workflow. #DevelopairTechnologies #AerospaceTechWeek #SoftwareDevelopment #atw

[FAQ] Which testing tools can be used with the Developair Technologies platform? We have connectors to Simulink Test, CXX tests, Vectorcast and also to in-house testing tools created by our customers. We usually develop new connectors when requested by a customer. If you use other tools, contact us for more information ► https://lnkd.in/dCXKJvvW --------- [FAQ] ¿Con qué herramientas de testing se puede utilizar la plataforma de Developair Technologies? En la actualidad tenemos conectores a Simulink Test, CXX tests, Vectorcast e incluso a herramientas de testing internas creadas por nuestros clientes. Normalmente desarrollamos nuevos conectores cuando nos los solicita un cliente. Si utilizas otras herramientas, contáctanos para más información ► https://lnkd.in/dHfetjdn #DevelopairTechnologies #EmbeddedSoftware #SoftwareTesting

Does your control software have to comply with functional safety regulations? ► Functional safety is critical in sectors such as rail, automotive or energy, and is driven by demanding regulations. At Developair Technologies, we know how difficult it is to comply with these regulations and we help you do it more efficiently. We offer a tool powered with symbolic AI and Machine Learning to assist in the development of the logic that controls systems such as aerospace, rail, automotive, industrial and power equipment. For more information ► https://lnkd.in/da4udXAD ------------- ¿Tu software de control tiene que cumplir con normativas de seguridad funcional? ► La seguridad funcional es crítica en sectores como el ferrocarril, automóvil o energía, y está regida por exigentes certificaciones. En Developair Technologies sabemos lo difícil que es cumplir estas normativas y te ayudamos a cumplirlas de manera eficiente. Ofrecemos una herramienta basada en IA simbólica y Machine Learning para ayudar a desarrollar la lógica que controla sistemas como los aeroespaciales, ferroviarios, de automoción y de equipos industriales y de energía. Más información ► https://lnkd.in/dSNJJNMN #DevelopairTechnologies #EmbeddedSoftware #SoftwareTesting #Safety #Automotive #Railways