It turns out industry for flight control systems and for engine control systems, at least, are using mostly something called Simulink or SCADE. SCADE is a little bit more popular with engine control. Simulink is more popular with the flight control systems.
You're-- Both of my parents sometimes drop sentences, too. Albert doesn't like scad humor, but he'll be pantless during the interview.
And they had $1.6 million of operating income in the first 12 or 14 months. So they buy in scads of stock, they pay a dividend, they invest a lot in new technologies, all relating to what I call the electronic exchange of value.
For example, Boeing is asking us to add new SMV, which is one of the fastest and most efficient model checker out there, to this list. going to be with SCADE.
thousand, so I think I see some biases in the presentation is what I'm trying to say. a preferred stock and scads and scads of equity is something that wasn't available to other
Cars are computers we put our bodies into. 747s are badly secured Solaris boxes connected SCADA controllers. Hearing aids, pacemakers, other prostheses: computers we put in our body.
It's giving you a trace to show how that property would be violated. So we try to that from Simulink and SCADE. But obviously, we don't want to try to address every language that is used out there-- every different language.
But what I am is I'm a consistent writer. The main character in that, she's a programmer in a very early programming language on Scadriel.
you come in at the end of it. And they do, and they do they do in scads .
And our mandate is to really to have an impact on industry. It turns out industry for flight control systems and for engine control systems, at least, are using mostly something called Simulink or SCADE. SCADE is a little bit more popular with engine control.
using the Lustre long language. So it turned out that makes it easy because, for example, SCADE-- the underlying foundation for SCADE is lustre. Lustre is a data flow language that was developed in Europe for embedded systems.
And it turns out that Simulink can also be mapped to that data flow language fairly easily. So what we have is that a bunch of translators that go from Simulink to Lustre, from Simulink or SCADE to Lustre. And then we apply all those types of model checker on it.
All the peripherals that are attached to your computer can either be subtly altered, turned off, or turned on to do bad things. Today, those peripherals might be your printer, your scanner, your SCADA controller, your MRI machine, your car, your avionic, your 3D printer. You can understand why that would be a bit freaky, but of course, in the future, those peripherals might also include your optic nerve, your cochlea, and the stumps of your