Q1) Consider a simple traffic light system to regulate safe pedestrian crossing on a busy lane. Consider the following system requirement: (SysReq:)The traffic lights shall allow pedestrians to safely cross the lane by stopping cars together with the following software requirements: (SofReq1:)The light switch for pedestrians will be set to 'green' within x seconds after the pedestrian button has been pressed. (SofReq2:)The light switch for cars will be set to 'red' at least y seconds before the light switch for pedestrians is set to 'green'. Find missing environment assumptions and domain properties that are necessary to build the following satisfaction argument: {SofReq1, SofReq2, assumptions?, domain properties?} =SysReq Are the missing domain properties adequate? Are the missing assumptions realisti
Q1) Consider a simple traffic light system to regulate safe pedestrian crossing on a busy lane. Consider the following system requirement:
(SysReq:)The traffic lights shall allow pedestrians to safely cross the lane by stopping cars
together with the following software requirements:
(SofReq1:)The light switch for pedestrians will be set to 'green' within x seconds after the pedestrian button has been pressed.
(SofReq2:)The light switch for cars will be set to 'red' at least y seconds before the light switch for pedestrians is set to 'green'.
Find missing environment assumptions and domain properties that are necessary to build the following satisfaction argument:
{SofReq1, SofReq2, assumptions?, domain properties?} =SysReq
Are the missing domain properties adequate? Are the missing assumptions realistic?
Trending now
This is a popular solution!
Step by step
Solved in 2 steps
