Multi-level modeling of software on hardware in concurrent computation

• Main Authors: PAUL, JoAnn M., SUPPE, Arne, ADAMS, Henele I., THOMAS, Donald E.
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2002
• Subjects: Hardware; Concurrent computing; Software performance; Timing; Switches; Physics computing; Wire; Encapsulation; Computer networks; Frequency; Databases and Information Systems; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/8282; https://ink.library.smu.edu.sg/context/sis_research/article/9285/viewcontent/Multi_Level_Modeling_of_Software_on_Hardware_in_Concurrent_Computation.pdf
• Institution: Singapore Management University

The fundamental modeling differences between hardware and software modeling can be thought of as reasoning about connectedness vs. reasoning about interleaved (shared) access to resources. A natural design hierarchy for physical systems is component-based because of the existence of a consistent bas...