Trusted Computing Systems: The ProCoS* Experience

@article{Bjorner1992TrustedCS,
  title={Trusted Computing Systems: The ProCoS* Experience},
  author={D. Bjorner},
  journal={International Conference on Software Engineering},
  year={1992},
  pages={15-34}
}
  • D. Bjorner
  • Published 1992 in International Conference on Software Engineering
We delineate a fine-grained approach to the development of embedded computing systems, including such which exhibit real-time properties - that is: reactive systems. The "approach" is a postulate - it has not yet been widely tested. And the "dogmas" of the paper are rather idealistic - but indicative of current, we believe, leading research directions that is already being transferred into industry. The essence of the approach is twofold: (i) An increased emphasis on requirements development, a… CONTINUE READING