No description
-
February 28, 2023 (v1)Journal articleUploaded on: December 15, 2023
-
October 2013 (v1)Journal article
Architecture analysis & design language (AADL) has been increasingly adopted in the design of embedded systems, and corresponding scheduling and formal verification have been well studied. However, little work takes code distribution and architecture exploration into account, particularly considering clock constraints, for distributed...
Uploaded on: December 3, 2022 -
October 2013 (v1)Journal article
Architecture analysis & design language (AADL) has been increasingly adopted in the design of embedded systems, and corresponding scheduling and formal verification have been well studied. However, little work takes code distribution and architecture exploration into account, particularly considering clock constraints, for distributed...
Uploaded on: October 11, 2023