Förhållningssättet on-demand, där system monteras från komponenter av lekmän, har varit framgångsrikt inom konsumentelektronikindustrin. För närvarande finns det en växande efterfrågan på kapacitet på begäran i medicinska system så vårdgivare kan skapa större medicinska system från mindre medicintekniska produkter. Till skillnad från konsumentelektronik innebär medicinska system utmaningar för on-demand-metoden på grund av attribut som komplexitet, variabilitet och säkerhetskrav. I detta dokument föreslår vi ett formellt specificeringsspråk för behovsbaserade (medicinska) system. Vårt tillvägagångssätt bygger på formalismen hos Modal I/O Automata, vilket gör det möjligt för systemdesigners att uttrycka komplexa enhetskrav och kan användas för att resonera om säkerhet och livlighet egenskaper hos on-demand medicinska system direkt från sina specifikationer. Vi illustrerar tillämpligheten av vårt tillvägagångssätt genom en fallstudie av en sluten krets patientkontrollerad analgesi system. vi föreslår en formell specificering språk för on-demand (medicinska) system. Vårt tillvägagångssätt bygger på formalismen hos Modal I/O Automata, som gör det möjligt för systemdesigners att uttrycka komplexa enhetskrav och kan användas för att resonera om säkerhet och livlighet egenskaper hos ondemand medicinska system direkt från deras specifikationer. Vi illustrerar tillämpligheten av vårt tillvägagångssätt genom en fallstudie av en sluten krets patientkontrollerad analgesi system.
Till exempel King et al. föreslog en formell specifikation språk för att uttrycka och motivera säkerhetsegenskaper hos on-demand medicinska system REF.
A Modal Specification Approach for On-Demand Medical Systems
{'venue': 'FHIES', 'journal': None, 'mag_field_of_study': ['Engineering', 'Computer Science']}