Обоснование заявленных свойств - История изменений

Admin в 13:31, 14 ноября 2016

2016-11-14T13:31:46Z

Admin: /* GSN */

2016-10-26T08:54:21Z

‎GSN

Admin в 07:51, 10 августа 2016

2016-08-10T07:51:41Z

Admin в 13:12, 11 мая 2016

2016-05-11T13:12:30Z

Admin в 08:30, 22 декабря 2015

2015-12-22T08:30:26Z

Admin в 08:30, 22 декабря 2015

2015-12-22T08:30:00Z

Admin в 15:04, 21 декабря 2015

2015-12-21T15:04:25Z

Admin в 17:49, 29 ноября 2015

2015-11-29T17:49:12Z

Admin: Новая страница: «'''Обоснование заявленных свойств''' (assurance case). Поскольку обоснования "по традиции" близко…»

2015-11-25T20:00:47Z

Новая страница: «'''Обоснование заявленных свойств''' (assurance case). Поскольку обоснования "по традиции" близко…»

Новая страница

'''Обоснование заявленных свойств''' (assurance case).

Поскольку обоснования "по традиции" близко к концу жизненного цикла (невзирая на призывы и заклинания вести обоснование с самого начала работы, а не оставлять на последний момент), то все сводится к "доказательству" того, что заявленные свойства системы наличествуют. И доказательство идет по принципу "как в суде" — с общим наименованием подхода как assurance case (с вариантами dependability case, safety case, security case, requirement case, architectural quality case).

Не забываем, что требование обоснований заложено в [[ISO 15026]], идущий в пару к [[ISO 15288]].

* [http://www.asq509.org/ht/action/GetDocumentAction/id/476 Презентация о том, что нужно делать assurance case в структурированном (более-менее формальном) виде]

== GSN ==
Нотация GSN (Goal Structuring Notation) вводятся следующие понятия:
* '''заявление о соответствии''' (Goal),
* '''тип аргумента''' (Strategy),
* '''очевидный факт''' (Solution).

Понятно, что выбор терминологии связан с акцентом на интенсиональность, а не на собственно "обоснование". Обширная литература может быть найдена [http://www.origin-consulting.com/gsnclub/pubs.php тут], но это только самые основные работы. Обратите внимание, что на авторов существенное влияние оказали работы по языкам [[Паттерны|паттернов]] (pattern languages).

GSN сейчас бурно развивается в самых разных направлениях:
* [http://unit.aist.go.jp/cvs/tr-data/PS2009-010.pdf автоматизация как построения, так и проверки обоснований]. Тут проводится непосредственное отождествление "обоснования"-assurance case и "доказательства"-proof, затем предлагается задействовать средства диалоговой помощи в обеспечении доказательств. Сначала говорится, что доказательство -- это функциональная программа, а потом функциональной программой объявляется весь assurance case в нотации "похожей на GSN". Заодно делается заявление, что поскольку assurance case пишется на языке программирования, то модель системы тоже может быть сделана в этом языке, что более тесно свяжет систему и доказательство ее соответствия требованиям.
* [http://www.cs.virginia.edu/~cmh7p/ietss08-notations.pdf текстовые (не графические) языки] для тех же целей "наилучшего выражения аргументации" (аж пять штук — от обычной прозы через аутлайн к LISP-подобной).
* security assurance case (как ни странно, этому направлению всего несколько лет), подробнейшие обзоры [https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/assurance/643-BSI.html (1)] и [https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/assurance/973-BSI.html (2)].

== CAE ==
Claims-Arguments-Evidence (CAE) — сверхупрощенный (безо всякой "интенсиональности", тупо "презентация логики доказательства") вариант того же самого, нотация также известна под именем [http://www.adelard.com/web/hnav/ASCE/choosing-asce/cae.html ASCAD] (Adelard Safety Claims Arguments Data)

Ссылки:
* эта же нотация (CAE) воспроизведена в виде стереотипов UML в [http://www.freebookspot.in/Books-Method%20Framework%20for%20Engineering%20System%20Architectures.htm книжка, а про QUASAR http://www.sei.cmu.edu/reports/06hb001.pdf книжке по MFESA] при рассмотрении architectural quality case с использованием метода QUASAR
* [http://www.acq.osd.mil/sse/docs/2010-01-19-Structured-Assurance-Cases-Ankrum-Kromholz.pdf предварительное моделирование трех стандартов разработки софта в CAE], для того, чтобы структурировать построение доказательства им соответствия (сначала делается шаблон дерева "заявлений соответствия" стандарту, чтобы потом подставить туда аргументы и факты для конкретного проекта)
* [http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf попытка использовать нотацию CAE для представления результатов работы алгоритмов SAT доказательства правильности программ] (пример использования SAT в атомной промышленности). Просто удивительно, что они не пошли по пути "assurance case — это программа" (вероятно потому, что CAE слишком простая нотация).
* [http://www.vtt.fi/inf/pdf/workingpapers/2008/W94.pdf обзор целе-ориентированных методов обоснования безопасности для атомных станций] (с участием Adelard, чтобы был понятен акцент на CAE)

← Предыдущая		Версия 13:31, 14 ноября 2016
Строка 30:		Строка 30:

	[[Категория:Практики]]		[[Категория:Практики]]
		+	[[Категория:Рабочие продукты]]

← Предыдущая		Версия 07:51, 10 августа 2016
Строка 1:		Строка 1:
−	'''Обоснование заявленных свойств''' (assurance case).	+	'''Обоснование заявленных свойств''' (assurance case) - создаваемый обоснованный проверяемый артефакт, подтверждающий, что удовлетворяется претензия верхнего уровня (или совокупность претензий), включая поддерживающие претензию систематическую аргументацию и ее явные предположения ([[ISO 15026]]).

	Поскольку обоснования "по традиции" близко к концу жизненного цикла (невзирая на призывы и заклинания вести обоснование с самого начала работы, а не оставлять на последний момент), то все сводится к "доказательству" того, что заявленные свойства системы наличествуют. И доказательство идет по принципу "как в суде" — с общим наименованием подхода как assurance case (с вариантами dependability case, safety case, security case, requirement case, architectural quality case).		Поскольку обоснования "по традиции" близко к концу жизненного цикла (невзирая на призывы и заклинания вести обоснование с самого начала работы, а не оставлять на последний момент), то все сводится к "доказательству" того, что заявленные свойства системы наличествуют. И доказательство идет по принципу "как в суде" — с общим наименованием подхода как assurance case (с вариантами dependability case, safety case, security case, requirement case, architectural quality case).

← Предыдущая		Версия 15:04, 21 декабря 2015
Строка 31:		Строка 31:


−	[[Категория:~~Практика~~]]	+	[[Категория:Практики]]

← Предыдущая		Версия 17:49, 29 ноября 2015
Строка 29:		Строка 29:
	* [http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf попытка использовать нотацию CAE для представления результатов работы алгоритмов SAT доказательства правильности программ] (пример использования SAT в атомной промышленности). Просто удивительно, что они не пошли по пути "assurance case — это программа" (вероятно потому, что CAE слишком простая нотация).		* [http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf попытка использовать нотацию CAE для представления результатов работы алгоритмов SAT доказательства правильности программ] (пример использования SAT в атомной промышленности). Просто удивительно, что они не пошли по пути "assurance case — это программа" (вероятно потому, что CAE слишком простая нотация).
	* [http://www.vtt.fi/inf/pdf/workingpapers/2008/W94.pdf обзор целе-ориентированных методов обоснования безопасности для атомных станций] (с участием Adelard, чтобы был понятен акцент на CAE)		* [http://www.vtt.fi/inf/pdf/workingpapers/2008/W94.pdf обзор целе-ориентированных методов обоснования безопасности для атомных станций] (с участием Adelard, чтобы был понятен акцент на CAE)
		+
		+
		+	[[Категория:Практика]]

@@ Строка 8: / Строка 8: @@
 == GSN ==
-Нотация GSN (Goal Structuring Notation) вводятся следующие понятия:
+Нотация GSN (Goal Structuring Notation) вводит следующие понятия:
 * '''заявление о соответствии''' (Goal),
 * '''тип аргумента''' (Strategy),
@@ Строка 16: / Строка 16: @@
 GSN сейчас бурно развивается в самых разных направлениях:
-* [http://unit.aist.go.jp/cvs/tr-data/PS2009-010.pdf автоматизация как построения, так и проверки обоснований]. Тут проводится непосредственное отождествление "обоснования"-assurance case и "доказательства"-proof, затем предлагается задействовать средства диалоговой помощи в обеспечении доказательств. Сначала говорится, что доказательство -- это функциональная программа, а потом функциональной программой объявляется весь assurance case в нотации "похожей на GSN". Заодно делается заявление, что поскольку assurance case пишется на языке программирования, то модель системы тоже может быть сделана в этом языке, что более тесно свяжет систему и доказательство ее соответствия требованиям.
+* [http://ocvs.cfv.jp/tr-data/PS2009-010.pdf автоматизация как построения, так и проверки обоснований]. Тут проводится непосредственное отождествление "обоснования"-assurance case и "доказательства"-proof, затем предлагается задействовать средства диалоговой помощи в обеспечении доказательств. Сначала говорится, что доказательство -- это функциональная программа, а потом функциональной программой объявляется весь assurance case в нотации "похожей на GSN". Заодно делается заявление, что поскольку assurance case пишется на языке программирования, то модель системы тоже может быть сделана в этом языке, что более тесно свяжет систему и доказательство ее соответствия требованиям.
-* [http://www.cs.virginia.edu/~cmh7p/ietss08-notations.pdf текстовые (не графические) языки] для тех же целей "наилучшего выражения аргументации" (аж пять штук — от обычной прозы через аутлайн к LISP-подобной).
+* [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.408.7951&rep=rep1&type=pdf текстовые (не графические) языки] для тех же целей "наилучшего выражения аргументации" (аж пять штук — от обычной прозы через аутлайн к LISP-подобной).
 * security assurance case (как ни странно, этому направлению всего несколько лет), подробнейшие обзоры [https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/assurance/643-BSI.html (1)] и [https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/assurance/973-BSI.html (2)].

@@ Строка 6: / Строка 6: @@
 * [http://www.asq509.org/ht/action/GetDocumentAction/id/476 Презентация о том, что нужно делать assurance case в структурированном (более-менее формальном) виде]
 == GSN ==
@@ Строка 20: / Строка 19: @@
 * [http://www.cs.virginia.edu/~cmh7p/ietss08-notations.pdf текстовые (не графические) языки] для тех же целей "наилучшего выражения аргументации" (аж пять штук — от обычной прозы через аутлайн к LISP-подобной).
 * security assurance case (как ни странно, этому направлению всего несколько лет), подробнейшие обзоры [https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/assurance/643-BSI.html (1)] и [https://buildsecurityin.us-cert.gov/bsi/articles/knowledge/assurance/973-BSI.html (2)].
 == CAE ==
@@ Строка 30: / Строка 28: @@
 * [http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf попытка использовать нотацию CAE для представления результатов работы алгоритмов SAT доказательства правильности программ] (пример использования SAT в атомной промышленности). Просто удивительно, что они не пошли по пути "assurance case — это программа" (вероятно потому, что CAE слишком простая нотация).
 * [http://www.vtt.fi/inf/pdf/workingpapers/2008/W94.pdf обзор целе-ориентированных методов обоснования безопасности для атомных станций] (с участием Adelard, чтобы был понятен акцент на CAE)
 [[Категория:Практики]]

@@ Строка 3: / Строка 3: @@
 Поскольку обоснования "по традиции" близко к концу жизненного цикла (невзирая на призывы и заклинания вести обоснование с самого начала работы, а не оставлять на последний момент), то все сводится к "доказательству" того, что заявленные свойства системы наличествуют. И доказательство идет по принципу "как в суде" — с общим наименованием подхода как assurance case (с вариантами dependability case, safety case, security case, requirement case, architectural quality case).
-Не забываем, что требование обоснований заложено в [[ISO 15026]], идущий в пару к [[ISO 15288]].
+Требование обоснований заложено в [[ISO 15026]], идущий в пару к [[ISO 15288]].
 * [http://www.asq509.org/ht/action/GetDocumentAction/id/476 Презентация о том, что нужно делать assurance case в структурированном (более-менее формальном) виде]

← Предыдущая		Версия 08:30, 22 декабря 2015
Строка 6:		Строка 6:

	* [http://www.asq509.org/ht/action/GetDocumentAction/id/476 Презентация о том, что нужно делать assurance case в структурированном (более-менее формальном) виде]		* [http://www.asq509.org/ht/action/GetDocumentAction/id/476 Презентация о том, что нужно делать assurance case в структурированном (более-менее формальном) виде]
		+

	== GSN ==		== GSN ==