标签: composability

Thenexttenyearswillseedistributedreal-timecomputersystemsreplacingmanymechanicalandhydrauliccontrolsystemsinhigh-dependabilityapplications.Intheseapplicationsafailureinthetemporaldomaincanbeascriticalasafailureinthevaluedomain.Thispaperdiscussessomeofthetechnologytrendsthatexplainwhydistributedembeddedreal-timesystemsforhigh-dependabilityapplicationswillmoveintothemainstream.Ittheninvestigatesthenewrequirementsthatmustbeaddressedbythesoftwareengineeringprocess.Twoofthemostimportantrequirementsarethedesignforcomposabilityandthesystematicvalidationofhigh-dependabilitydistributedreal-timesystems.Inthelasttwosections,theseissuesofcomposabilityandvalidationaretreatedinsomedetail.……