4 ms·

Seems to be this: https://www.lionsos.org/ https://www.lionsos.org/ https://github.com/au-ts/lionsos https://github.com/au-ts/lionsos > LionsOS is aimed at e

Seems to be this: https://www.lionsos.org/ https://www.lionsos.org/ https://github.com/au-ts/lionsos https://github.com/au-ts/lionsos > LionsOS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We aim to achieve all three goals by a highly modular yet ruthlessly performance-oriented design and strict adherence to the time-honoured KISS principle.

alex_suzuki 3y ago
What, pray tell, are “cyberphysical” systems?
- subjectsigma 3y ago
  https://www.google.com/search?q=cyber+physical+systems https://www.google.com/search?q=cyber+physical+systems Factory equipment, vehicles, drones, power grids, medical robots, HVAC, … the list goes on.
  - 0xEF 3y ago
    I work in the industry that builds and integrates most of that stuff. We don't use that term. It's marketing woo which is why the other commenter has probably never heard it.
    - Luc 3y ago
      > It's marketing woo Nah, it's a term used in academia.
      - arghwhat 3y ago
        Feels like a term used in academia unrelated to the actual field itself...
      - feldrim 3y ago
        IIRC it started with government institutions and think tanks, and quickly adopted by academia.
        monocasa 3y ago
        Yeah, you pick up .gov buzzwords pretty quickly if you want your grants approved.
    - subjectsigma 3y ago
      I work in defense and it is extremely common. That doesn’t mean it isn’t marketing fluff, but I was genuinely surprised they didn’t know and/or thought they were being snarky.
  - foundry27 3y ago
    Also involved with some of these industries, no academia/government though, so my perspective may be incomplete. Anecdotally I can’t remember hearing this term used. After reading the Wikipedia page and a couple corporate pages about cyberphysical, I think it looks like it’s more about rebranding existing systems that contain interacting heterogenous elements with different RT needs, rather than introducing fundamentally new systems methodologies or technologies. It kinda reminds me of Agile, where a shift in mindset and terminology was hyped way more than any legitimate improvement in the underlying systems being built, and engineering “Agile products” became so important for some businesses.
- saithound 3y ago
  It is a term coined by the Air Force Research Laboratory, as an umbrella term for industrial control systems, robotics, avionics, and generally any system that primarily consists of software and the heavy machinery it operates. The term is favored by DARPA over any of its alternatives; seL4 received DARPA funding, and was adopted by DARPA projects, so it's not surprising that they'd use the associated term. It's no worse than other terms in the embedded systems world, and communicates the intended use cases to the most likely users. Basically, if TrendMicro builds you a bunch of infrastructure to optimize the power grid, it will be described as consisting of Intelligent Electronic Devices. If Collins Aerospace builds the exact same infrastructure, it will be described as consisting of Cyber Physical Systems.

alex_suzuki 3y ago

What, pray tell, are “cyberphysical” systems?

subjectsigma 3y ago
https://www.google.com/search?q=cyber+physical+systems https://www.google.com/search?q=cyber+physical+systems Factory equipment, vehicles, drones, power grids, medical robots, HVAC, … the list goes on.
- 0xEF 3y ago
  I work in the industry that builds and integrates most of that stuff. We don't use that term. It's marketing woo which is why the other commenter has probably never heard it.
  - Luc 3y ago
    > It's marketing woo Nah, it's a term used in academia.
    - arghwhat 3y ago
      Feels like a term used in academia unrelated to the actual field itself...
    - feldrim 3y ago
      IIRC it started with government institutions and think tanks, and quickly adopted by academia.
      - monocasa 3y ago
        Yeah, you pick up .gov buzzwords pretty quickly if you want your grants approved.
  - subjectsigma 3y ago
    I work in defense and it is extremely common. That doesn’t mean it isn’t marketing fluff, but I was genuinely surprised they didn’t know and/or thought they were being snarky.
- foundry27 3y ago
  Also involved with some of these industries, no academia/government though, so my perspective may be incomplete. Anecdotally I can’t remember hearing this term used. After reading the Wikipedia page and a couple corporate pages about cyberphysical, I think it looks like it’s more about rebranding existing systems that contain interacting heterogenous elements with different RT needs, rather than introducing fundamentally new systems methodologies or technologies. It kinda reminds me of Agile, where a shift in mindset and terminology was hyped way more than any legitimate improvement in the underlying systems being built, and engineering “Agile products” became so important for some businesses.
saithound 3y ago
It is a term coined by the Air Force Research Laboratory, as an umbrella term for industrial control systems, robotics, avionics, and generally any system that primarily consists of software and the heavy machinery it operates. The term is favored by DARPA over any of its alternatives; seL4 received DARPA funding, and was adopted by DARPA projects, so it's not surprising that they'd use the associated term. It's no worse than other terms in the embedded systems world, and communicates the intended use cases to the most likely users. Basically, if TrendMicro builds you a bunch of infrastructure to optimize the power grid, it will be described as consisting of Intelligent Electronic Devices. If Collins Aerospace builds the exact same infrastructure, it will be described as consisting of Cyber Physical Systems.