Operating systems and systems programming in general using SysML

[Jon Taylor]

Hi,

Just got into Papyrus and SysML, from a background in embedded systems
design, operating systems and device drivers. I see SysML as the
future of virtually all types of software design, one whose use will
be required soon in basically every type of software development.
Naturally, that makes me wonder about my future career, and that in
turn leads me to look into how well the SysML model works in a bare-
bones OS-type environment. So far, Google hasn't found me much in the
way of examples of SysML-based systems code in general. Things I am
looking for, preferably in an open source environment:

* An equivalent of the binary 'xulrunner' utility for SysML. This
could be used both at the OS level and at the bare-metal level.

* SysML componentry for interrupt handling, memory and IO port
mapping, primitive mutexes and other such basic synchronization
mechanisms, and abstract -> native function calls a la Java's JNI
mechanism. Obviously these are possible to design, I just wonder if
there are any existing standard components or codebases out there.

* SysML-style device IO and driver abstraction systems. Has anyone
out there done "real" device drivers in SysML? I guess I could just
go ahead and implement a modern-but-standard RTOS style abstraction
stack, but I think one of the potentially innovative things about
SysML is the highly abstract basic architecture, which could
potentially revolutionize the traditional hierarchical device driver
and systems IO abstractions typically found in today's OSes.

I think that the three things listed above would not be difficult at
all to design, if they are not already. This should be everything
necessary. Any links, tips and feedback provided will be welcome.
Please reply to this thread and don't send me e-mail, so that others
may share....

Thanks,

Jon