frama-c.com
Frama-C
http://www.frama-c.com/about.html
Simple things should be simple,. Complex things should be possible. The Frama-C platform is the creation of Patrick Baudin ; François Bobot ; Richard Bonichon ; Loïc Correnson ; Pascal Cuoq ; Zaynah Dargaye ; Jean-Christophe Filliâtre ; Philippe Herrmann ; Florent Kirchner ; Matthieu Lemerre ; Claude Marché ; Benjamin Monate ; Yannick Moy ; Anne Pacalet ; Virgile Prevosto ; Julien Signoles and Boris Yakobowski. The Frama-C platform is co-developed at two French public institutions:. 0; static long mc1[8]...
polarsys.blogspot.com
PolarSys - Open Source Tools for Embedded Systems: December 2013
http://polarsys.blogspot.com/2013_12_01_archive.html
Is an industry collaboration to build Open Source Tools Embedded Systems. Wednesday, December 18, 2013. Amazing week for PolarSys in Sweden. The first week of December was amazing for PolarSys with two events in Sweden:. First, we organized a successful PolarSys day in Sweden. Second, we participated to the Artemis ITEA Co-Summit, and received an award from the ITEA Vice chairman. On December 3rd, we had a PolarSys day hosted by Ericsson and co-organized by Combitech. And Git support, Arcon. Vice Chairma...
open-do.org
Project Hi-Lite
http://www.open-do.org/projects/hi-lite
Toward a cooperative and open framework for the development of certifiable software. Airborne Software Certification Explained. IP 217 – An information model for requirements and design. OpenDO Project – Rationale. IP217 Foundations and Principles. IP217 Definition of Requirement. IP217 Definition of Design. IP217 Definition of Verification. Solutions Provided by IP217. DO-178B/C Core Text Problems. A Lighter Introduction to Hi-Lite. Hi-Lite News and Events. Project Hi-Lite / GNATprove. Hi-Lite is a proj...
twt-gmbh.de
TWT GmbH: Projekte
https://www.twt-gmbh.de/forschung/projekte/projekte.html
Seit rund 20 Jahren beteiligt sich TWT an öffentlich geförderten Forschungsprojekten. Interdisziplinäre Spezialisten-Teams decken in der TWT Forschung ein weites Spektrum technologischer und industrieller Bereiche in den Branchen Automotive, Aerospace, und Healthcare ab und entwickeln innovative Lösungen. Beleuchtung, Belüftung und Klimatisierung von Gebäuden machen rund 40% des europäischen Energieverbrauchs aus. In kommerziellen Flugzeugen ließen sich etwa 5% des Treibstoffbedarfs durch eine optimi...
openbit.eu
openBIT - openBIT
https://openbit.eu/openbit
Offenheit ist unser Antrieb. Wir begleiten Unternehmen dabei, die Stärken von Open Business, Open Innovation und Open Technology strategisch und wertschöpfend im Geschäftsmodell zu nutzen. Technologie bestimmt ganz wesentlich unsere Geschäftsprozesse und begleitet eng unseren Alltag. Dabei gewinnen offen verfügbare Blaupausen für Hardware, Software and Wissen sowie offene Schnittstellen für einen ungehinderten Austausch von Daten an Relevanz. Wir helfen dabei, gezielt auf Interoperabilität, Unabh...Neben...
polarsys.blogspot.com
PolarSys - Open Source Tools for Embedded Systems: Amazing week for PolarSys in Sweden
http://polarsys.blogspot.com/2013/12/amazing-week-for-polarsys-in-sweden.html
Is an industry collaboration to build Open Source Tools Embedded Systems. Wednesday, December 18, 2013. Amazing week for PolarSys in Sweden. The first week of December was amazing for PolarSys with two events in Sweden:. First, we organized a successful PolarSys day in Sweden. Second, we participated to the Artemis ITEA Co-Summit, and received an award from the ITEA Vice chairman. On December 3rd, we had a PolarSys day hosted by Ericsson and co-organized by Combitech. And Git support, Arcon. Vice Chairma...
SOCIAL ENGAGEMENT