Прикладом властивості жвавості служить гарантована доставка повідомлення, забезпечувана деякими протоколами - як би не розвивалися події, якщо мережне з'єднання між машинами буде працювати, послане з однієї сторони (процесом на першій машині) повідомлення буде доставлено іншій стороні (процесу на другій машині).

У класичному підході до перевірки на моделях контрольовані властивості формалізуються у вигляді формул так званих часових логік. Їх спільною рисою є наявність операторів "завжди в майбутньому" і "колись у майбутньому". Помітимо, що другий оператор може бути виражений за допомогою першого й заперечення - те, що якась властивість колись буде виконана, еквівалентно тому, що заперечення цієї властивості не буде виконано ніколи. Властивості безпеки легко записуються у вигляді "завжди буде виконане заперечення небажаної властивості", а властивості жвавості - у вигляді "колись обов'язково буде виконане бажане".

Перевіряється програма, що, у класичному підході моделюється за допомогою кінцевого автомата. Перевірка, виконувана автоматично, полягає в тому, що для всіх досяжних при роботі системи станів цього автомата перевіряється потрібна властивість. Якщо вона виявляється виконаною, видається повідомлення про успішність перевірки, якщо ні - видається траса, послідовність виконання окремих кроків програми, модельованих переходами автомата, що приводить із початкового стану в такий, у якому потрібна властивість порушується. Ця траса використовується для аналізу того, що діється, та виправлення або програми, або моделі, якщо помилка знаходиться в ній.

Основна проблема цього підходу - величезне, а часто й нескінченне, кількість станів у моделях, що досить добре відбивають поведінки реальних програм. Для боротьби з комбінаторним вибухом станів застосовуються різні методи оптимізації представлення автомата, виділення й пошуку станів, суттєвих для виконання властивості, що перевіряється.

2. Основні відомості про виробництво

Державне підприємство "Сумський регіональний науково-виробничий центр стандартизації, метрології та сертифікації" Департаменту технічного регулювання Міністерства економічного розвитку та торгівлі України. Починаючи своє функціонування у 1935 році у вигляді Сумського обласного повірочного управління з відділенням у місті Конотоп, неодноразово перетворюючись, центр став підприємством, здатним проводити роботи і надавати послуги у галузі стандартизації, метрології та підтвердження відповідності практично в усіх галузях діяльності суб'єктів господарювання.

Сьогодні центр має два відділення у містах Конотоп і Шостка. Еталонна база, яка постійно оновлюється і налічує 216 вихідних та 513 робочих еталони, науково-технічний потенціал дозволяють фахівцям центру на високому технічному рівні у стислі терміни виконати роботи, що стосуються компетенції центру. Серед 136 працюючих ми маємо 1 кандидата технічних наук, 105 висококваліфікованих працівників з вищою освітою та 22 - з базовою вищою освітою. Фахівці мають статус аудиторів за 21 напрямком галузі уповноваження та кандидатів в аудитори за 12 напрямками, 39 державних повірників здійснюють повірку, метрологічну атестацію та калібрування засобів вимірювальної техніки. Фахівці центру постійно підвищують свою кваліфікацію за відповідними напрямками на базі ДП "Український науково-дослідний і навчальний центр проблем стандартизації, сертифікації та якості", Сумського державного університету.

Центр призначений та уповноважений: на повірку (калібрування) та державні контрольні випробування засобів вимірювальної техніки; органом з сертифікації на проведення робіт з сертифікації продукції і послуг, в т.ч. імпортної продукції; органом з сертифікації систем управління у державній Системі сертифікації УкрСЕПРО, а також є органом з атестації на проведення вимірювань у Державній метрологічній системі.

Національним органом України з сертифікації засвідчено, що система управління якістю стосовно надання ДП "Сумистандартметрологія" послуг із стандартизації, метрології, сертифікації та випробувань відповідає вимогам ДСТУ ІSО 9001.

Враховуючи стратегію розвитку Сумської області "Нова Сумщина - 2015", постійне вдосконалення робіт та послуг, ДП "Сумистандартметрологія" бачить свою основну задачу у тому, щоб бути максимально корисним промисловим підприємствам, установам, організаціям, підприємцям та споживачам. Центр здійснює свою діяльність у паливо-енергетичному, машинобудівному та транспортному комплексах, аграрному секторі, на підприємствах харчової та промислової продукції, закладах охорони здоров'я, у житлово-комунальному господастві, будівельній індустрії та інших галузях. Сподіваюсь, що інформація з основних напрямків діяльності ДП "Сумистандартметрологія" Вас зацікавить і буде сприяти налагодженню взаємовигідних ділових стосунків. Продукція виробників та розповсюджувачів стане більш високої якості, буде конкурентоспроможною, що сприятиме її просуванню на всеукраїнські та міжнародні ринки.

3. Вивчення об'єкту виробництва

Державне підприємство "Сумський регіональний науково-виробничий центр стандартизації, метрології та сертифікації" Департаменту технічного регулювання Міністерства економічного розвитку та торгівлі України почало своє функціонування у 1935 році у вигляді Сумського обласного повірочного управління з відділенням у місті Конотоп, неодноразово перетворюючись. Наразі центр став підприємством, здатним проводити роботи і надавати послуги у галузі стандартизації, метрології та підтвердження відповідності практично в усіх галузях діяльності суб'єктів господарювання.

Сьогодні центр має два відділення у містах Конотоп і Шостка. Еталонна база, яка постійно оновлюється і налічує 216 вихідних та 503 робочих еталони, науково-технічний потенціал, дозволяють фахівцям центру на високому технічному рівні, у стислі терміни виконати роботи, що стосуються компетенції центру. Серед 136 працюючих ми маємо 1 кандидата технічних наук, 105 висококваліфікованих працівників з вищою освітою та 22 - з базовою вищою освітою. Фахівці мають статус аудиторів за 21 напрямком галузі уповноваження та кандидатів в аудитори за 12 напрямками, 39 державних повірників здійснюють повірку та калібрування засобів вимірювальної техніки.

Центр призначений та уповноважений:на проведення повірки (калібрування), державної метрологічної атестації та державних контрольних випробувань засобів вимірювальної техніки; органом з сертифікації на проведення робіт з сертифікації продукції і послуг, в т.ч. імпортної продукції; органом з сертифікації систем управління у державній Системі сертифікації УкрСЕПРО,а також органом з атестації на проведення вимірювань у Державній метрологічній системі.

Національним органом України з сертифікації засвідчено, що система управління якістю стосовно надання ДП "Сумистандартметрологія" послуг із стандартизації, метрології, сертифікації, державного нагляду та випробувань відповідає вимогам ДСТУ ISO 9001.

Враховуючи стратегію розвитку Сумської області "Нова Сумщина - 2015", постійне вдосконалення робіт та послуг, ДП "Сумистандартметрологія" бачить свою основну задачу у тому, щоб бути максимально корисним промисловим підприємствам, установам, організаціям, підприємцям та споживачам. Центр здійснює свою діяльність у паливо-енергетичному, машинобудівному та транспортному комплексах, аграрному секторі, на підприємствах харчової та промислової продукції, закладах охорони здоров'я, у житлово-комунальному комплексі, будівельній індустрії та інших галузях.

3.1 Випробувальна лабораторія

На базі ДП "Сумистандартметрологія" діє випробувальна лабораторія акредитована Національним агентством з акредитації України на технічну компетентність та незалежність згідно міжнародного стандарту ДСТУ ISO/IEC 17025:2006 (Атестат акредитації № 2Н156 дійсний до 25.09.2014).

Випробувальна лабораторія проводить дослідження зразків харчової продукції всіх груп, сільськогосподарської сировини, будівельних матеріалів і фарфору на відповідність державним і галузевим стандартам, технічним умовам на продукцію.

Випробування проводяться для цілей обов'язкової і добровільної сертифікації, державного нагляду за якістю і безпекою продукції, по заявках правоохоронних органів і індивідуальних заявках підприємств, організацій і приватних осіб.

Діяльність випробувальної лабораторії здійснюється в наступних основних напрямках:

q органолептичні і фїзико-хімічні показники;

q визначення токсичних елементів та важких металів: свинцю, кадмію, цинку, міді, миш'яку, ртуті, олова, заліза;

q контроль вмісту залишкових кількостей пестицидів, мікотоксинів, нітрозамінів, гормональних препаратів, харчових добавок (барвників, консервантів, стабілізаторів);

q визначення питомої активності природних радіонуклідів калія-40, стронція-90, цезія-137, радія-226, торія-232.

q визначення генетично модифікованих організмів в харчових продуктах та продовольчій сировині.

Випробувальна лабораторія має висококваліфікованих фахівців в області аналітичної хімії, спектрофотометрії, хроматографії та ін. Персонал має відповідний рівень освіти, необхідні технічні знання і досвід роботи. Фахівці постійно підвищують свою кваліфікацію на базі українського науково-методичного центру Мінекономрозвитку, провідних галузевих інститутів.

Лабораторія має розвинену вимірювальну базу, безперервно оснащується новими приладами для аналітичних робіт - засобами вимірювальної техніки і випробувальним обладнанням. Для проведення робіт ВЛ має необхідні хімічні реактиви, у тому числі і імпортні, державні стандартні зразки і еталони. Випробування проводяться в обладнаних виробничих приміщеннях, що відповідають всім сучасним вимогам. Для забезпечення точності вимірювань ВЛ регулярно проводить внутрішній аудит якості, успішно бере участь в міжлабораторних випробуваннях, організовуваних координатором.

Крім перерахованих випробувань лабораторія надає консультативно-методичну допомогу лабораторіям підприємств в освоєнні сучасних методів досліджень.

3.2 Відділ науково-технічного забезпечення з питань метрології, стандартизації та оцінки відповідності

Виконує науково-дослідні та практичні роботи у сферах стандартизації та метрології:

q гармонізацію національних стандартів з міжнародними та європейськими;

q організаційно-методичну та консультаційну допомогу при розробці технічних умов та інших категорій нормативних документів;

q розробку технічних умов на продукцію та інших категорій нормативних документів;

q організаційно-методичну та консультаційну допомогу при погодженні технічних умов із замовниками, державними наглядовими органами, відомчими, галузевими, спеціалізованими технічними та науковими організаціями, профільними державними комітетами;

q розробку експлуатаційних документів, необхідних при постановці продукції на виробництво (технічних завдань, програм проведення випробувань, настанов з експлуатації, паспортів та ін.);метрологічну експертизу нормативної документації;

q методичну та консультаційну допомогу з питань метрологічного забезпечення (підбір засобів вимірювальної техніки (ЗВТ) та застосування випробувального обладнання (ВО));

q розробку методик повірки ЗВТ, програм та методик атестації ЗВТ та ВО;

q розробку комплекту документів з атестації вимірювальних лабораторій на право проведення вимірювань, у тому числі лабораторій з діагностики колісних транспортних засобів.

Відділ підтримує в актуальному стані унікальний фонд нормативної документації, який налічує понад ЗО тисяч документів. Серед них: документи, гармонізовані з міжнародними стандартами (ДСТУ ISO, ДСТУ ІЕС, ДСТУ EN); міждержавні стандарти (ГОСТ), державні стандарти (ДСТУ), технічні умови (ТУ) та інші нормативні документи. Відділ проводить роботи з: консультаційно-інформаційного обслуговування замовників з використанням автоматизованої пошукової системи нормативних документів; державної реєстрації технічних умов та змін до них; копіювання нормативної документації; спектру довідково-інформаційних послуг.

3.3 Відділи повірки та державної метрологічної атестації засобів вимірювальної техніки, відділення ДП "Сумистандарт-метрологія" у містах Конотоп і Шостка

Виконують широкий спектр робіт з:

q повірки (калібрування) та ДМА механічних та лінійно-кутових ЗВТ:

q віддалемірів, рулеток вимірю¬вальних, мікроскопів, звужуючих пристроїв витратомірних вузлів, мір місткості, тахеометрів, стендів технічного діагностування, метро-штоків, дозаторів, спідометрів, автомобільних таксометрів, ваг, мірників, паливо- та оливорозда-вальних колонок, резервуарів, машин для статичних випробу¬вань, автоцистерн та багатьох інших груп ЗВТ;

q повірки (калібрування) та ДМА теплотехнічних та фізико-хімічнихЗВТ:

q витратомірів, обчислювачів, лічильників рідини та газових середовищ, манометрів, перетворювачів тиску, теплолічильників, барометрів, аналізаторів, вологомірів, вимірювачів артеріального тиску, газоаналізаторів, рН-метрів, масспектрометрів, хроматографіє, гігрометрів, термометрів, спектрофотометрів та багатьох інших груп ЗВТ;

q повірки (калібрування) та ДМА електро - радіо - іонізуючих ЗВТ:

q апаратури почасового обліку вартості та тривалості телефонних розмов, частотомірів, лічильників електричної енергії, амперметрів, калібраторів, трансформаторів струму та напруги, генераторів, електро-кардіографів, пульсоксиметрів, енцефалографів, дозиметрів, гамма-радіометрів, вимірювально-інформаційних систем та інших ЗВТ.

Фахівці структурних підрозділів з повірки ЗВТ, на підставі Свідоцтв про атестацію № РУ-0877/10, № РУ-0901/10, № РУ-0902/10, № РУ-0903/10, чинних до квітня-червня 2013 року, проводять вимірювання геометричних, механічних величин, вимірювання параметрів потоку, витрат, рівня, об'єму речовин, вимірювання тиску, вакууму, фізико-хімічного складу та властивостей речовин, температурні і теплофізичні вимірювання, вимірювання часу і частоти, електричних і магнітних величин, радіотехнічні, радіоелектронні та оптико-фізичні вимірювання, а також вимірювання характеристик іонізуючих випромінювань і ядерних констант. Окрім цього, виконують роботи з атестації випробувального обладнання.

3.4 Відділ по ремонту засобів вимірювальної техніки

Виконує ремонт, сервісне та технічне обслуговування ЗВТ за номенклатурою:

q ваги лабораторні, товарні, для статичного зважування, автомобільні та ін.;

q гирі загального призначення; лічильники води побутові; манометри, вакуумметри,- вимірювачі артеріального тиску, напороміри, тягонапороміри, перетворювачі тиску;

q термометри манометричні, логометри, потенціометри;

q газоаналізаторів, фотоелектроколориметрів, рефрактометрів, а також багатьох інших ЗВТ.

Фахівці відділу проводять роботи з демонтажу та монтажу лічильників води та тепла, ремонту випробувального обладнання (термостатів, сушильних шаф та ін.).

Виконує роботи з обслуговування замовників, прийняття засобів вимірювальної техніки на їх повірку, калібрування, державну метрологічну атестацію, а випробувального обладнання на його атестацію.

3.5 Відділ державного метрологічного контролю

Здійснює, відповідно до галузі уповноваження, роботи з:

q атестації вимірювальних лабораторій на проведення вимірювань;

q участі в атестації вимірювальних підрозділів, що належать до сфер управління центральних органів виконавчої влади;

q проведення державних контрольних випробувань засобів вимірю-вальної техніки, які виготовляються підприємствами Сумської області;

q участі у проведенні державних приймальних випробувань ЗВТ;

q надання інформаційно-методичної допомоги замовникам.

4. Аналіз існуючих засобів контролю і вибір контрольно вимірювальної техніки

Вимірювання штангенциркулем При розмітці і обробці деталей широко використовується контрольно-вимірювальний інструмент. Для вимірювання з точністю (до 0, 1 мм) застосовують штангенциркуль. Це універсальний вимірювальний інструмент.

Для високоточного виміру зовнішніх та внутрішніх розмірів, а також глибин отворів виробів в ДП "Сумистандарт-метрологія" використовують штангенциркуль.

5. Опис конструкції і принципу дії контрольно-вимірювальних приладів

Штангенциркуль є універсальним вимірювальним інструментом, що дозволяє з високою точністю (до 0,1 мм) визначати лінійні (внутрішні та зовнішні) розміри деталей і глибини отворів. Існують прилади спеціальної конструкції, за допомогою яких можна виміряти малі діаметри, відстані між осями отворів, товщину стінки труби і пр.

Головними достоїнствами штангенциркуля є простота його використання (прилад реалізує прямий метод вимірювання), доступність і можливість експлуатації в широкому температурному діапазоні (10-40?С).

5.1 Типи штангенциркулів по конструкції

Згідно ГОСТ 166-89 "Штангенциркулі. Технічні умови ", існує 4 основних типи штангенциркулів, що відрізняються конструкцією (конфігурацією і взаєморозташуванням вимірювальних поверхонь):

q двосторонні штангенциркулі типу I

q односторонні штангенциркулі, забезпечені глубиномером, вимірювальна поверхня яких виконана з твердих сплавів (тип Т-1)

q двосторонні штангенциркулі типу II

q односторонні штангенциркулі - III

ГОСТ передбачає можливість оснащення штангенциркулів допоміжними пристосуваннями або вимірювальними поверхнями з метою розширення функціональних можливостей вимірювальних приладів.

5.1.1 Двосторонній штангенциркуль типу I

Двосторонній штангенциркуль типу I (рис 6)



Рисунок 6 -- Двосторонній штангенциркуль типу I.

Штанга, її робоча поверхня і шкала позначені на кресленні цифрами 1, 5 і 9 відповідно, 2 - рамка, 3 - затиск рамки (затискає елемент), 4 - ноніус (відліковий пристрій приладу), 6 - глибиномір, 7 і 8 - губки, призначені для вимірювання внутрішніх і зовнішніх розмірів відповідно.

5.1.2 Штангенциркуль типу Т-1

Штангенциркуль типу Т-1 (рис 7)

Рисунок 7 -- Двосторонній штангенциркуль типу I.

Пристрій штангенциркуля даного типу відповідає пристрою приладу типу I. Єдина відмінність - відсутність губок для вимірювання внутрішніх розмірів (губки для виміру зовнішніх розмірів на кресленні позначені цифрою 7) і глибиноміра.

5.1.3 Штангенциркуль типу II

Штангенциркуль типу II (рис 8).

Рисунок 8 -- Штангенциркуль типу II.

Штанга, її робоча поверхня і шкала позначені цифрами 1, 5 і 9, цифрою 2 позначена рамка, 3 - затискає елемент, 4 - відліковий пристрій (ноніус), 6 - пристрій, що дозволяє встановити рамку з більшою точністю, 7 - губки для визначення зовнішніх розмірів (з кромочний вимірювальними поверхнями), 8 - губки для визначення зовнішніх і внутрішніх розмірів (з плоскими і циліндричними поверхнями відповідно).

5.1.4 Штангенциркуль типу III

Штангенциркуль типу III (рис 9).

Рисунок 9 -- Штангенциркуль типу III.

Штангенциркуль типу III також має штангу, її робочу поверхню і шкалу (1, 5 і 8), затискає елемент і ноніус (3 і 4), губки для вимірювання зовнішніх і внутрішніх розмірів (6 і 7).

5.2 Застосування штангенциркулів

Штангенциркулі виготовляються зі сталі - нержавіючої або вуглецевої (в цьому випадку обов'язковим є хромове покриття).

Застосування штангенциркулів типу ШЦ:

q Прилади типу ШЦ (з відліком по ноніусом - допоміжної шкалою, яка служить для максимально точного визначення кількості часткою ділень) випускаються в 1 і 2 класі точності, і залежно від цього значення відліку за ноніусом становить 0,05 мм або 0,1 мм.

q Штангенциркулі ШЦ використовують для визначення лінійних розмірів деталей (як зовнішніх, так і внутрішніх) та виконання розмітки.

q ШЦ-I (штангенциркулі з двостороннім розташуванням губок і відліком по ноніусом) найбільш затребувані: з їх допомогою здійснюється вимір лінійних розмірів деталей, а також глибин.

q ШЦ-II і ШЦ-III (з двостороннім і одностороннім розташуванням змін. Губок відповідно) використовують для визначення лінійних розмірів (внутрішніх і зовнішніх) деталей і нанесення розмітки.

Будь-які штангенциркулі з губками для виміру внутрішніх розмірів створюють конкуренцію нутроміра. Однак на відміну від більш складно влаштованих нутромірів, не здатні проводити вимірювання у важкодоступних місцях, глибоко залягає місцях.

Застосування штангенциркулів типу ШИК:

Прилади типу ШИК випускаються у всіх чотирьох виконаннях з різними діапазонами виміру. Дані штангенциркулі використовуються в тому випадку, коли відлік за ноніусом утруднений або мається потреба в більш точних результатах. Відліковий пристрій індикаторного типу забезпечує можливість суміщення стрілки з нулем (нульовим діленням кругової шкали).

Застосування штангенциркулів типу ШЦЦ:

q Як вже було згадано, штангенциркулі з відліковим пристроєм цифрового типу дозволяють автоматизувати процес вимірювання. У перелік їх основних функцій входить

q відображення вимірювальної інформації в цифровому коді із зазначенням знака;

q запам'ятовування результатів останніх вимірювань (є не у всіх моделях);

q установка нуля;

q переклад результату в будь-яку систему виміру;

q підключення до комп'ютера за допомогою кабелю, наступна обробка, протоколювання і збереження результатів.

Штангенциркулі з цифровим відліковим пристроєм маркуються таким чином: першим в назві моделі вказується її тип (ШЦЦ - для всіх), потім конструкція, діапазон вимірювань і дискретність відліку (в дужках).

Прилади типу ШЦЦ-I-125 (0,01) і ШЦЦ-I-150 (0,01), наприклад, використовують для визначення лінійних розмірів в діапазонах 0-125 мм і 0-150 мм відповідно. Дані штангенциркулі мають ціну поділки 0,01 мм і дозволяють проводити вимірювання з похибкою не більше 0,05 мм.

Прилади типу ШЦ (з відліком по ноніусом - допоміжної шкалою, яка служить для максимально точного визначення кількості часткою ділень) випускаються в 1 і 2 класі точності, і залежно від цього значення відліку за ноніусом становить 0,05 мм або 0,1 мм.

6. Стандартизація та сертифікація

6.1 Відділ сертифікації

ДП "Сумистандартметрологія", призначений та уповноважений на проведення робіт із сертифікації продукції та послуг, сертифікації систем управління, сертифікації імпортної продукції, відповідно до затвердженої номенклатури. метрологія сертифікація штангенциркуль

Сертифікацію продукції вітчизняних і іноземних виробників за певними її найменуваннями здійснюють:

Відділ сертифікації харчової продукції та послуг: м'ясо і м'ясопродукти, субпродукти птиці, продукція масложирової, консервної, цукрової промисловості молоко і молочні продукти, риба та продукти її переробки, макаронні вироби, круп'яні продукти, борошно, концентрати харчові, кондитерські вироби, безалкогольні напої, вина, спиртово-горілчані вироби, чай, кава, какао, какао-боби, харчові добавки, прянощі, приправи, зерно та зернобобові, комбікорм, концентрати та багато інших видів продукції та сировини. Відділ також здійснює сертифікацію туристичних, готельних послуг та послуг харчування.

Відділ сертифікації промислової продукції: електропобутове та аналогічне обладнання, переносні електричні машини та інструменти, запасні частини до автомобілів та тракторів, насоси, компресори, балони, світлотехнічні вироби, обчислювальна техніка, котли побутові, водонагрівачі, плити газові, каміни, конвектори, верстати, апаратура трубопровідна, засоби індивідуального захисту, нафтопродукти, взуття, іграшки, швейні та трикотажні вироби, хімічні речовини та сировина, антени, мийні засоби, посуд з фарфору, фаянсу, кераміки, чорних і кольорових металів, вироби будівельної промисловості, матеріали лакофарбові, вироби загального машинобудівельного призначення.

Проведення робіт здійснюється на підставі Свідоцтв Державної сертифікації УкрСЕПРО за № UA.P.036 та № UA.PN.036, чинних до 02.08 також за № UA. MQ. 163, чинного до 30.03.2014р.

Відділ систем управління якістю та безпечністю продукції здійснює сертифікацію:

q систем управління якістю та систем управління безпекою та гігієною праці

q (сільське, лісове господарство, мисливство, рибальство, рибництво, добувна, переробна промисловість, виробництво та розподіл електроенергії, газу, та води, будівництво, торгівля; ремонт автомобілів, побутових виробів та предметів особистого вжитку, діяльність готелів і ресторанів, діяльність транспорту та зв'язку, фінансова діяльність, операції з нерухомим майном, оренда, інжиніринг та надання послуг підприємцям, державне управління, освіта, охорона здоров'я та надання соціальної допомоги, надання комунальних та індивідуальних послуг; діяльність у сфері культури і спорту);

q системи управління безпечністю харчових продуктів (сільське, лісове господарство, мисливство, рибальство, рибництво, переробна промисловість, діяльність готелів та ресторанів;

q системи екологічного керування (сільське, лісове господарство, мисливство, рибальство, рибництво, добувна, переробна промисловість, діяльність готелів та ресторанів, виробництво та розподіл електроенергії, газу та води.

6.2 Сертифікація систем управління

Повноваження Органу з сертифікації систем управління.

Орган з сертифікації систем управління ДП "Сумистандартметрологія" призначений Держспоживстандартом України на право проведення робіт із сертифікації систем управління якістю, безпечністю харчових продуктів та екологічного керування в державній Системі сертифікації УкрСЕПРО.

Наказ Держспоживстандарту України про призначення від 30 березня 2011 р. № 121, номер призначеного органу з сертифікації систем управління UA.MQ.163.

Відділ систем управління. В відділі працюють аудитори з сертифікації систем управління якістю, сертифікації систем управління безпечність харчових продуктів, які виконують роботи по проведенню сертифікації систем управління та технічних наглядів за сертифікованими системами управління якістю та безпечністю харчових продуктів на підприємствах, здійснюють організаційно-методичне забезпечення проведення конкурсів у сфері якості, організовують проведення семінарів та конференцій на базі ДП "Сумистандартметрологія" та постійно співпрацюють з Сумською облдержадміністрацією щодо здійснення постійного моніторингу підприємств, які працюють над розробкою, впровадженням, сертифікацією систем управління (якістю, безпечністю харчових продуктів, екологічного керування, тощо) в Сумській області.

Перелік послуг відділу систем:

q сертифікація систем управління якістю на відповідність вимогам ДСТУ ISO 9001:2009 та проведення технічних наглядів за сертифікованими системами управління якістю на відповідність вимогам ДСТУ ISO 9001:2009;

q сертифікація систем управління безпечністю харчових продуктів на відповідність вимогам ДСТУ 4161-2003 та ДСТУ ISO 22000:2007 та проведення технічних наглядів за сертифікованими системами управління безпечністю харчових продуктів на відповідність вимогам ДСТУ 4161-2003 та ДСТУ ISO 22000:2007;

q організаційно-методичне забезпечення проведення конкурсів у сфері якості;

q організація проведення семінарів, конференцій та „круглих столів" на базі ДП "Сумистандартметрологія";

q постійний моніторинг підприємств, які працюють над розробкою, впровадженням, сертифікацією систем управління (якістю, безпечністю харчових продуктів, екологічного керування, тощо) в Сумському регіону та ведення відповідного реєстру;

q надання відповіді на запити замовників стосовно процедури сертифікації систем управління.

Для проведення сертифікації системи управління підприємству (організації) потрібно звернутися до органу з сертифікаціцї систем управління із заявкою встановленої форми (СУЯ СУБХП) та надати опитувальну анкету (СУЯ СУБХП). Фахівці відділу нададуть детальну, вичерпну інформацію щодо порядку проведення робіт з сертифікації систем управління.

Перспективний розвиток. Відділ постійно співпрацює з підприємствами регіону, які впроваджують системи управління, Впроваджені сучасні системи управління - це імідж підприємства.

Впровадження систем управління на підприємстві дає певну гарантію тому, що український товар буде визнаний на світовому ринку, а споживачі отримають якісний та безпечний продукт.

Найбільшого поширення на сьогодні набули системи управління якістю на відповідність ISO 9001/ ДСТУ ISO 9001; системи управління безпечністю харчових продуктів (системи НАССР) на відповідність ДСТУ ISO 22000, ДСТУ 4161; системи екологічного керування на відповідність ДСТУ ISO 14001.

СПИСОК ЛІТЕРАТУРИ

Сторінка ДП "Сумистандарт-метрологія" _ http://www.gcsms.com.ua/zagalna-informatsiya

ISO/IEC 12207:2008 System and software engineering - Software life cycle processes.

ISO/IEC 15288:2008 System and software engineering - System life cycle processes.

IEEE 830-1998 Recommended practice for software requirements specifications.

IEEE 1233-1998 Guide for developing system requirements specifications.

IEEE 1016-1998 Recommended Practice for Software Design Descriptions.

ISO/IEC 42010 IEEE Std 1471-2000 System and software engineering - Recommended practice for architectural description of software-intensive systems.

ISO 9001:2000 Quality management systems - Requirements.

ISO/IEC 90003:2004 Software engineering - Guidelines for the application of ISO 9001:2000 to computer software.

ISO/IEC TR 90005:2008 Software engineering - Guidelines for the application of ISO 9001:2000 to system life cycle processes.

ISO/IEC 9126-1:2001 Software engineering - Product quality - Part 1: Quality model.

ISO/IEC 9126-2:2003 Software engineering - Product quality - Part 2: External metrics.

ISO/IEC 9126-3:2003 Software engineering - Product quality - Part 3: Internal metrics.

ISO/IEC 9126-4:2004 Software engineering - Product quality - Part 4: Quality in use metrics.

ISO/IEC 25051:2006 Software engineering - Software product Quality Requirements and Evaluation (SQuaRE) - Requirements for quality of Commercial Off-The-Shelf (COTS) software product and instructions for testing.

IEEE 829-1998 Standard for Software Test Documentation.

IEEE 829-2008 Standard for Software and System Test Documentation.

IEEE 1008-1987 (R1993, R2002) Standard for Software Unit Testing.

ISO/IEC 14598-1:1999 Information technology - Software product evaluation - Part 1: General overview.

ISO/IEC 14598-2:2000 Software engineering - Product evaluation - Part 2: Planning and management.

ISO/IEC 14598-3:2000 Software engineering - Product evaluation - Part 3: Process for developers.

ISO/IEC 14598-4:1999 Software engineering - Product evaluation - Part 4: Process for acquirers.

ISO/IEC 14598-5:1998 Information technology - Software product evaluation - Part 5: Process for evaluators.

ISO/IEC 14598-6:2001 Software engineering - Product evaluation - Part 6: Documentation of evaluation modules.

Донской М.В. О программной документации // Мир ПК. -- 1994. -- № 4.

Stan Magee, Ding Doug Thiede Engineering Process Standards State of the Art and Challengee, IEEE IT Pro, 2004. IEEE Computer Society, 2004.

ДСТУ 2228-93. Системи оброблення інформації. Підготовлення i оброблення даних. Терміни та визначення.

ДСТУ 2400-94. Системи оброблення інформації. Розподілене оброблення даних. Терміни та визначення.

ДСТУ 2505-94. Системи оброблення інформації. Терміни та визначення.

ДСТУ 2628-94. Системи оброблення інформації. Оброблення тексту. Терміни та визначення.

ДСТУ 2844-94. Програмні засоби ЕОМ. Забезпечення якості. Терміни та визначення.

ДСТУ 2872-94. Системи оброблення інформації. Мови програмування. Терміни та визначення.

ДСТУ73-94. Системи оброблення інформації. Програмування. Терміни та визначення.

ДСТУ74-94. Системи оброблення інформації. Бази даних. Термши та визначення.

ДСТУ 2938-94. Системи оброблення інформації. Основні поняття. Терміни та визначення.

ДСТУ 2939-94. Системи оброблення інформації. Комп'ютерна графжа. Термши та визначення.

ДСТУ 2940-94. Системи оброблення інформації. Керування процесами оброблення даних. Термши та визначення.

ДСТУ 2941-94. Системи оброблення інформації. Розроблення систем. Терміни та визначення.

ДСТУ43-95. Системи оброблення інформації. Обмін даними. Терміни та визначення.

ДСТУ44-95. Системи оброблення інформації. Подання даних. Терміни та визначення.

ДСТУ ISO/IEC 2382-5:2005. Інформаційні технології. Словник термінів. Ч. 5. Подання даних (ISO/IEC 2382-5:1999, IDT).

ДСТУ ISO/IEC 2382-4:2005. Інформаційні технології. Словник термінів. Ч. 4. Організація даних (ISO/IEC 2382-4:1999, IDT).

ДСТУ ISO/IEC 2382-9:2005. Інформаційні технології. Словник термінів. Ч. 9. Обмін даними (ISO/IEC 2382-9:1995, IDT).

ДСТУ ISO/IEC 2382-15:2005. Інформаційні технології. Словник термінів. Ч. 15. Мови програмування (ISO/IEC 2382-15:1999, IDT).

ДСТУ ISO/IEC 2382-18:2005. Інформаційні технології. Словник термінів. Ч. 18. Розподілена обробка даних (ISO/IEC 2382-18:1999, IDT).

ДСТУ 3149-95. Система стандартів з баз даних. Мова баз даних SQL з розширенням цілісності.

ДСТУ 3302-96. Система стандартів з баз даних. Структура системи словників інформаційних ресурсів.

ДСТУ 3329-96 (ГОСТ 34.320-96). Система стандартів з баз даних. Концепції та термінологія для концептуальної схеми й інформаційної бази.

ДСТУ 3330-96 (ГОСТ 34.321-96). Система стандартів з баз даних. Еталонна модель керування даними.

ДСТУ 3918-99 (ISO/IEC 12207-95). Інформаційні технології. Процеси життєвого циклу програмного забезпечення.

ДСТУ ISO/IEC 15288. Інженерія систем. Процеси життєвого циклу систем. (ISO/IEC 15288:2002, IDT).

ДСТУ ISO/IEC TR 12182:2004. Інформаційні технології. Категоризація програмного забезпечення.

ДСТУ ISO/IEC 14764:2002. Інформаційні технології. Супровід програмного забезпечення.

ДСТУ ISO/IEC TR 15271:2008. Інформаційні технології. Настанови щодо застосування ДСТУ 3918 (процеси життєвого циклу програмного забезпечення).

ДСТУ50-94. Програмні засоби ЕОМ. Показники та методи оцінювання якості.

ДСТУ51-94. Програмні засоби ЕОМ. Документування результатів випробувань.

ДСТУ53-94. Програмні засоби ЕОМ. Підготовлення та проведення випробувань.

ДСТУ27-96. Методика випробування процесорів мов програмування.

ДСТУ 3919-99 (ISO/IEC 14102-95). Інформаційні технології. Основні напрямки оцінювання та відбору CASE-інструментів.

ДСТУ ISO/IEC 121 19:2003. Інформаційні технології. Пакети програм. Тестування і вимоги до якості та тестування.

ДСТУ ISO/IEC TR 15504. (Ч. 1-9). Інформаційні технології. Оцінювання процесів програмування.

ДСТУ ISO/IEC 14598 (Ч. 1-6). Інформаційні технології. Оцінювання програмного продукту.

ДСТУ ISO/IEC TR 9126 (Ч. 2-4). Програмна інженерія. Якість продукту.

ДСТУ ISO/IEC 14756:2008. Інформаційні технології. Вимірювання та рейтингове оцінювання продуктивності комп`ютерних програмних систем.

ДСТУ ISO/IEC 15933:2007. Інженерія систем і програмних засобів. Процес вимірювання (ISO/IEC 15933:2007, IDT).

ДСТУ ISO/IEC 90003:2006. Програмна інженерія. Настанови щодо застосування ДСТУ ISO/IEC 90001:2001 до комп`ютерного програмного забезпечення (ISO/IEC 90003:2004, IDT).

ДСТУ 4302:2004. Інформаційні технології. Настанови щодо документування комп'ютерних програм (ISO/IEC 6592:2000, МОD).

ДСТУ ISO/IEC 15910. Інформаційні технології. Процес розробки документації користувачів програмного забезпечення (ISO/IEC 15910:1999, IDT).

ДСТУ ISO/IEC 11411:2002. Інформаційні технології. Зображення стану програмного засобу для спілкування людей (ISO/IEC 11411:1995, IDT).

ДСТУ 3578-97. Документація. Формат для обміну термінологічними і/або лексикографічними даними на магнітних носіях.

ДСТУ 3579-97. Документація. Формат для обміну бібліографічними даними на магнітних носіях.

Основы инженерии качества программных систем / Ф.И. Андон, Г.И. Коваль, Т.М. Коротун, Е.М. Лаврищева, В.Ю. Суслов. -- Киев: Академкнига, 2002. -- 502 с.

Уолш Д. Руководство по созданию документации для математического обеспечения. -- М.: Наука, 1975. -- 128 с.

Размещено на Allbest.ru