This paper documents work that has been carried out to automate the checking of system software architecture specifications of SoCs. Checking the architecture ...

This column shows how to develop a fully refined use-case model. I hope some of the ideas about traceability and packaging are picked up by tool vendors (e.g., Rational, CA). The main concepts of this ...