6 ms·
You know, the embedded systems community has a heck of a lot of tools and formal logics for designing this stuff in the abstract. Lots of little DSLs and auto-c
by johnpmayer 12y ago
You know, the embedded systems community has a heck of a lot of tools and formal logics for designing this stuff in the abstract. Lots of little DSLs and auto-checkers for thinking about processes and messages, that sort of thing. I'm not so sure about model -> code generation, I think that is mostly rolled by-hand.
For concurrency in the large, I wonder if there will be greater adoption of these sorts of engineering techniques.
- colechristensen 12y agoCan you point to some of these tools for those interested?
- seanmcdirmid 12y agoI assume you are referring to the concurrency DSLs like Esterel? These are quite low level with a different emphasis; I'm not sure they would scale to larger non-embedded systems, and they like many of the niceties that programming for larger systems can afford.