Zeidman Technologies, Inc. has announced the release of the online version of SynthOS, a software development tool that automatically generates an optimized real-time operating system (RTOS) that has strengthened security, increased reliability, lower hardware costs, reduced debug time, and minimized memory footprint, all of which are critical to devices connected to the Internet of Things. And it is available for free at www.SynthOSonline.com.
The Internet of Things (“IoT”) has already begun, connecting everything from large, intelligent devices like supercomputers, personal computers, tablets, and smartphones to smaller devices like smart toasters and home security systems. This proliferation means much more software development. Programmers require a real-time operating system (“RTOS”) to control the various tasks of the connected devices. The development of such an embedded system typically starts with the purchase or development of an RTOS, and each application must then be written to meet the RTOS requirements. Porting the code to a new operating system requires considerable rewriting.
SynthOS automatically synthesizes an application specific operating system (“ASOS”) based on the applications running on top of it. There is no need for the developer to worry about things like setting semaphores, mutexes, or priority flags or creating task context blocks, message queues, or task mailboxes–these are all created automatically. There is no need to worry about race conditions, deadlocks, processor hogging, or unserviced tasks because the ASOS is correct-by-design. The resulting ASOS is optimized for speed, size, and security. Perhaps most importantly, an ASOS is more secure against malware.
According to Brent Lagesse, Professor of Computer Science at the University of Washington and an expert in cyber security and pervasive systems, “SynthOS has a unique ability to generate ASOSes that enhance system diversity, making it more difficult for an attacker to launch a large scale exploit. Unlike other kinds of operating system, I believe it will be possible to use formal methods to prove the security properties for each ASOS, further thwarting attacks. This is a very exciting prospect.”